On Computational Interpretations of the Modal Logic S4 IIIa. Termination, Confluence, Conservativity of λevQ (1996)

by Jean Goubault-Larrecq
Venue:INSTITUT FUR LOGIK, KOMPLEXITAT UND DEDUKTIONSSYSTEME, UNIVERSITAT