On computational interpretations of the modal logic S4, part IIIb (1996)

by J Goubault-Larrecq
Venue:Technical Reports 1996-33,34,35, Institut fur Logik, Komplexitat und Deduktionssysteme, Universitat