Automatic recognition of interpolation in modal calculi

• Autores: P. A. Shreiner
• Localización: Algebra and logic, ISSN 0002-5232, Vol. 46, Nº. 1, 2007, págs. 62-70
• Idioma: inglés
• DOI: 10.1007/s10469-007-0007-1
• Texto completo no disponible (Saber más ...)
• Resumen

  • We deal with some issues on automatic recognition of interpolation properties in modal calculi extending the logics S5 and S4.3.