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 |
