Weakly transitive modal algebras are studied. It is proved that the class of simple weakly transitive algebras coincides with the class of simple DL-algebras. A full description is given for finitely generated simple DL-algebras together with their embeddings. As a consequence, it is shown that the varieties of weakly transitive algebras and of DL-algebras are not weakly amalgamable, and that modal logics wK4 and DL do not possess the weak interpolation property.
Similar content being viewed by others
References
L. L. Esakia, “Weak transitivity—restitution,” in Logical Investigations [in Russian], 8, Nauka, Moscow (2002), pp. 244–255.
G. Bezhanishvili, L. Esakia, and D. Gabelaia, “Some results on modal axiomatization and definability for topological spaces,” Stud. Log., 81, No. 3, 325–355 (2005).
K. Segerberg, “A note on the logic of elsewhere,” Theoria, 46, Nos. 2/3, 183–187 (1980).
M. de Rijke, “The modal logic of inequality,” J. Symb. Log., 57, No. 2, 566–584 (1992).
V. Goranko, “Modal definability in enriched languages,” Notre Dame J. Formal Log., 31, No. 1, 81–105 (1990).
V. Shehtman, “‘Everywhere’ and ‘Here’,” J. Appl. Non-Class. Log., 9, Nos. 2/3, 369–380 (1999).
A. Kudinov, “Topological modal logics with difference modality,” in Adv. Modal Log., 6, College Publ., London (2006), pp. 319–332.
D. M. Gabbay and L. Maksimova, Interpolation and Definability: Modal and Intuitionistic Logics, Clarendon Press, Oxford (2005).
L. L. Maksimova, “Definability and interpolation in non-classical logics,” Stud. Log., 82, No. 2, 271–291 (2006).
L. Maksimova, “On a form of interpolation in modal logic,” Logic Colloq. 2005, Bull. Symb. Log., 12, No. 2, 340 (2006).
L. L. Maksimova, “A weak form of interpolation in equational logic,” Algebra Logika, 47, No. 1, 94–107 (2008).
A. V. Karpenko, “Weak interpolation in extensions of the logics S4 and K4,” Algebra Logika, 47, No. 6, 705–722 (2008).
H. Rasiowa and R. Sikorski, The Mathematics of Metamathematics, Monografien Matematyczne, Warsaw (1963).
S. S. Goncharov, Countable Boolean Algebras and Decidability, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1996).
A. I. Mal’tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
L. L. Maksimova, “Interpolation theorems in modal logics and amalgamable varieties of topoboolean algebras,” Algebra Logika, 18, No. 5, 556–586 (1979).
K. Segerberg, An Essay in Classical Modal Logic, Uppsala (1971).
A. Chagrov and M. Zakharyaschev, Modal Logics, Oxford Logic Studies, 35, Clarendon, Oxford (1997).
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by RFBR (project No. 09-01-00090a), by the Grants Council (under RF President) for State Aid of Leading Scientific Schools (grant NSh-3606.2010.1), and by the Russian Ministry of Education through the Analytical Departmental Target Program (ADTP) “Development of Scientific Potential of the Higher School of Learning” (project No. 2.1.1/419). (A. V. Karpenko and L. L. Maksimova)
Translated from Algebra i Logika, Vol. 49, No. 3, pp. 346–365, May–June, 2010.
Rights and permissions
About this article
Cite this article
Karpenko, A.V., Maksimova, L.L. Simple weakly transitive modal algebras. Algebra Logic 49, 233–245 (2010). https://doi.org/10.1007/s10469-010-9092-7
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-010-9092-7