Abstract
The paper gives an overview of new results on two-dimensional modal logics of special type, “Segerberg squares.” They are defined as usual squares of modal logics with additional connectives corresponding to the diagonal symmetry and two projections onto the diagonal. In many cases these logics are finitely axiomatizable, complete and have the finite model property. Segerberg squares are interpreted in the classical predicate logic.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
H. Andréka, J. van Benthem, and I. Németi, “Back and Forth between Modal Logic and Classical Logic,” J. IGPL 3, 685–720 (1995).
L. Åqvist, “A Conjectured Axiomatization of Two-Dimensional Reichenbachian Tense Logic,” J. Philos. Logic 8(1), 1–45 (1979).
J. van Benthem, Modal Logic and Classical Logic (Bibliopolis, Napoli, 1983).
A. Chagrov and M. Zakharyaschev, Modal Logic (Oxford Univ. Press, Oxford, 1997).
D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev, Many-Dimensional Modal Logics: Theory and Applications (Elsevier, Amsterdam, 2003).
D. M. Gabbay and V. B. Shehtman, “Products of Modal Logics. Part 1,” Log. J. IGPL 6, 73–146 (1998).
D. M. Gabbay and V. B. Shehtman, “Products of Modal Logics. Part 2: Relativised Quantifiers in Classical Logic,” Log. J. IGPL 8, 165–210 (2000).
D. Gabbay and V. Shehtman, “Products of Modal Logics. Part 3: Products of Modal and Temporal Logics,” Stud. Log. 72, 157–183 (2002).
S. P. Kikot’, “Axiomatization of Modal Logic Squares with Distinguished Diagonal,” Mat. Zametki 88(2), 261–274 (2010) [Math. Notes 88, 238–250 (2010)].
A. Kurucz, “Combining Modal Logics,” in Handbook of Modal Logic (Elsevier, Amsterdam, 2007), pp. 869–924.
M. Marx and Y. Venema, Multi-dimensional Modal Logic (Kluwer, Dordrecht, 1997), Appl. Log. Ser. 4.
K. Segerberg, “Two-Dimensional Modal Logic,” J. Philos. Logic 2, 77–96 (1973).
V. B. Shekhtman, “Two-Dimensional Modal Logic,” Mat. Zametki 23(5), 759–772 (1978) [Math. Notes 23, 417–424 (1978)].
V. Shehtman, “Filtration via Bisimulation,” in Advances in Modal Logic, Ed. by R. Schmidt et al. (King’s College Publ., London, 2005), Vol. 5, pp. 289–308.
M. Wajsberg, “Ein erweiter Klassenkalkül,” Monatsh. Math. Phys. 40, 113–126 (1933).
Author information
Authors and Affiliations
Corresponding author
Additional information
Published in Russian in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2011, Vol. 274, pp. 343–351.
Rights and permissions
About this article
Cite this article
Shehtman, V.B. On squares of modal logics with additional connectives. Proc. Steklov Inst. Math. 274, 317–325 (2011). https://doi.org/10.1134/S0081543811060204
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0081543811060204