On Computational Interpretations of the Modal Logic S4 I. Cut Elimination (1996)

View PDF

Download Links

by Jean Goubault-larrecq
Venue:Institut fur Logik, Komplexitat und Deduktionssysteme, Universitat
Citations:9 - 7 self