Weak interpolation in extensions of the logics S4 and K4

• Autores: A. V. Karpenko
• Localización: Algebra and logic, ISSN 0002-5232, Vol. 47, Nº. 6, 2008, págs. 395-404
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • Conditions are specified which are necessary and sufficient for a logic over K4 to possess the weak interpolation property. For this goal to be met, simple transitive modal algebras are described, and we establish a criterion for the class of such algebras to be amalgamable. For extensions of K4, the weak interpolation property is proved decidable.