Modular Sequent Calculi for Classical Modal Logics
- Gilbert, D.R.
- Maffezioli, P.
ISSN: 1572-8730, 0039-3215
Year of publication: 2015
Volume: 103
Issue: 1
Pages: 175-217
Type: Article
ISSN: 1572-8730, 0039-3215
Year of publication: 2015
Volume: 103
Issue: 1
Pages: 175-217
Type: Article