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
Citations:8 - 4 self

Document Versions

On Computational Interpretations of the Modal Logic S4 IIIa. Termination, Confluence, Conservativity of λevQ –Jean Goubault-Larrecq — 1996 — INSTITUT FUR LOGIK, KOMPLEXITAT UND DEDUKTIONSSYSTEME, UNIVERSITAT
On Computational Interpretations of the Modal Logic S4 IIIa. Termination, Confluence, Conservativity of –Jean Goubault-larrecq — 1996 — Institut fur Logik, Komplexitat und Deduktionssysteme, Universitat
On Computational Interpretations of the Modal Logic S4 IIIb. Confluence, Termination of the . . . –Jean Goubault-Larrecq — 1997