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

Document Versions

On Computational Interpretations of the Modal Logic S4 I. Cut Elimination –Jean Goubault-larrecq — 1996 — Institut fur Logik, Komplexitat und Deduktionssysteme, Universitat
On Computational Interpretations of the Modal Logic S4 I. Cut Elimination –Jean Goubault-larrecq — 1996 — Institut fur Logik, Komplexitat und Deduktionssysteme, Universitat