Modular Sequent Calculi for Classical Modal Logics
- Gilbert, D.R.
- Maffezioli, P.
ISSN: 1572-8730, 0039-3215
Año de publicación: 2015
Volumen: 103
Número: 1
Páginas: 175-217
Tipo: Artículo
ISSN: 1572-8730, 0039-3215
Año de publicación: 2015
Volumen: 103
Número: 1
Páginas: 175-217
Tipo: Artículo