Modular Sequent Calculi for Classical Modal Logics
- Gilbert, D.R.
- Maffezioli, P.
ISSN: 1572-8730, 0039-3215
Année de publication: 2015
Volumen: 103
Número: 1
Pages: 175-217
Type: Article
ISSN: 1572-8730, 0039-3215
Année de publication: 2015
Volumen: 103
Número: 1
Pages: 175-217
Type: Article