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

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