Modular Sequent Calculi for Classical Modal Logics
- Gilbert, D.R.
- Maffezioli, P.
ISSN: 1572-8730, 0039-3215
Any de publicació: 2015
Volum: 103
Número: 1
Pàgines: 175-217
Tipus: Article
ISSN: 1572-8730, 0039-3215
Any de publicació: 2015
Volum: 103
Número: 1
Pàgines: 175-217
Tipus: Article