An explicit basis for admissible inference rules in table modal logics of width 2

• Autores: V. V. Rimatskii
• Localización: Algebra and logic, ISSN 0002-5232, Vol. 48, Nº. 1, 2009, págs. 72-86
• Idioma: inglés
• DOI: 10.1007/s10469-009-9041-5
• Texto completo no disponible (Saber más ...)
• Resumen

  • We construct an explicit finite basis for admissible inference rules in an arbitrary modal logic of width 2 extending the logic Grz.