Abstract
We consider the modal logics wK4 and DL as well as the corresponding weakly transitive modal algebras and DL-algebras. We prove that there exist precisely 16 amalgamable varieties of DL-algebras. We find a criterion for the weak amalgamation property of varieties of weakly transitive modal algebras, solve the deductive interpolation problem for extensions of the logic of inequality DL, and obtain a weak interpolation criterion over wK4.
Similar content being viewed by others
References
Maksimova L., “Definability and interpolation in non-classical logics,” Studia Logica, 82, No. 2, 271–291 (2006).
Maksimova L. L., “Interpolation theorems in modal logics and amalgamable varieties in topoboolean algebras,” Algebra i Logika, 18, No. 5, 556–586 (1979).
Chagrov A. V., “Undecidable properties of extensions of provability logic,” Algebra i Logika, 29, No. 3, 350–367 (1990).
Chagrov A. and Zakharyaschev M., Modal Logic, Oxford Univ. Press, Oxford (1997).
Karpenko A. V., “Weak interpolation in extensions of the logics S4 and K4,” Algebra and Logic, 47, No. 6, 395–404 (2008).
Gabbay D. M. and Maksimova L., Interpolation and Definability. Modal and Intuitionistic Logics, Oxford Univ. Press, Oxford (2005) (Oxford Logic Guides, 46; Oxford Sci. Publ.).
Maksimova L. L., “Modal logics and varieties of modal logics: Beth’s conditions, interpolation, and amalgamability,” Algebra i Logika, 31, No. 2, 145–166 (1992).
Karpenko A. V. and Maksimova L. L., “Simple weakly transitive modal algebras,” Algebra and Logic, 49, No. 3 (2010).
Segerberg K., “A note on the logic of elsewhere,” Theoria, 46, No. 2/3, 183–187 (1980).
Rijke M. de, “The modal logic of inequality,” J. Symbolic Logic, 57, No. 2, 566–584 (1992).
Esakia L. L., Weak Transitivity-A Restitution [in Russian], Nauka, Moscow (2001) (Logical Investigations; 8).
Maksimova L., “Restricted interpolation in modal logics,” in: Advances in Modal Logics, Kings’s College London Publ., London, 2003, V. 4, pp. 297–312.
Maksimova L., “On a form of interpolation in modal logic,” Bull. Symbolic Logic, 12, No. 2, p. 340 (2006) (Logic Colloq. 2005).
Maksimova L. L., “A weak form of interpolation in equational logic,” Algebra and Logic, 47, No. 1, 56–64 (2008).
Maksimova L. L., “Decidability of the interpolation problem and of related properties in tabular logics,” Algebra and Logic, 48, No. 6, 426–448 (2009).
Rautenberg W., “Splitting lattices of logics,” Arch. Math. Logik Grundlag., 20, No. 3–4, 155–159 (1980).
Rautenberg W., Klassische und nicht-classische Aussagenlogik, Braunschweig, Wiesbaden and Vieweg (1979).
Yankov V. A., “On connection between deducibility in intuitionistic propositional calculus and finite implicative structures,” Dokl. Akad. Nauk SSSR, 151, No. 6, 1293–1294 (1963).
Maksimova L. L., “On a classification of modal logics,” Algebra i Logika, 18, No. 3, 328–340 (1979).
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text Copyright © 2010 Karpenko A. V.
The author was supported by the Russian Foundation for Basic Research (Grant 09-01-00090a), the Russian Federal Agency for Education (Grant 2.1.1.419), and the State Maintenance Program for the Young Science Doctors (a Grant of the President of the Russian Federation) (Grant MD-2587.2010.1).
__________
Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 51, No. 3, pp. 553–568, May–June, 2010.
Rights and permissions
About this article
Cite this article
Karpenko, A.V. Interpolation properties in the extensions of the logic of inequality. Sib Math J 51, 439–451 (2010). https://doi.org/10.1007/s11202-010-0045-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11202-010-0045-0