Modular Sequent Calculi for Classical Modal Logics
- Gilbert, D.R.
- Maffezioli, P.
ISSN: 1572-8730, 0039-3215
Datum der Publikation: 2015
Ausgabe: 103
Nummer: 1
Seiten: 175-217
Art: Artikel
ISSN: 1572-8730, 0039-3215
Datum der Publikation: 2015
Ausgabe: 103
Nummer: 1
Seiten: 175-217
Art: Artikel