Abstract
We consider products of modal logics in topological semantics and prove that the topological product of S4.1 and S4 is the fusion of logics S4.1 and S4 plus one extra asiom. This is an example of a topological product of logics that is greater than the fusion but less than the semiproduct of the corresponding logics. We also show that this product is decidable.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Notes
The definition of a canonical formula is given at the beginning of Section 4.
The finite model property is equivalent to the finite frame property (cf. [5], Subsection 8.4).
REFERENCES
G. Bezhanishvili, L. Esakia, and D. Gabelaia, “Some results on modal axiomatization and definability for topological spaces,” Stud. Logica 81 (3), 325–355 (2005).
G. Bezhanishvili, D. Gabelaia, and J. Lucero-Bryan, “Modal logics of metric spaces,” Rev. Symb. Logic 8 (1), 178–191 (2015).
G. Bezhanishvili and J. Harding, “Modal logics of Stone spaces,” Order 29 (2), 271–292 (2012).
P. Blackburn, M. de Rijke, and Y. Venema, Modal Logic (Cambridge Univ. Press, Cambridge, 2002).
A. Chagrov and M. Zakharyaschev, Modal Logic (Clarendon, Oxford, 1997).
D. M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev, Many-Dimensional Modal Logics: Theory and Applications (Elsevier, Amsterdam, 2003).
D. Gabelaia, “Modal definability in topology,” Master Thesis (ILLC, Univ. of Amsterdam, 2001).
R. Goldblatt, “The McKinsey axiom is not canonical,” J. Symb. Logic 56 (2), 554–562 (1991).
P. Kremer, “The topological product of S4 and S5” (2011) [unpublished].
A. Kudinov, “Modal logic of some products of neighborhood frames,” Advances in Modal Logic (2012), pp. 386–394.
A. Kudinov, “On neighbourhood product of some Horn axiomatizable logics,” Logic J. IGPL 26 (3), 316–338 (2018).
A. Kudinov and I. Shapirovsky, “Finite model property of pretransitive analogs of S5,” Russ. Math. Surv. 67 (4), 721–777 (2012).
S. P. Odintsov, S. A. Drobyshevich, and S. O. Speranski, An Introduction to Nonclassical Logics (Novosibirsk. Gos. Univ., Novosibirsk, 2014) [in Russian].
J. van Benthem and G. Bezhanishvili, “Modal logics of space,” in Handbook of Spatial Logics (Springer, Dordrecht, 2007), pp. 217–298.
J. van Benthem, G. Bezhanishvili, B. Cate, and D. Sarenac, “Multimodal logics of products of topologies,” Stud. Logica 84, 369–392 (2006).
Funding
The research was supported by the Russian Science Foundation, project no. 21-11-00318.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
The author of this work declares that he has no conflicts of interest.
Additional information
Publisher’s Note.
Pleiades Publishing remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Kudinov, A.V. Topological Product of Modal Logics with the McKinsey Axiom. Dokl. Math. 109, 66–72 (2024). https://doi.org/10.1134/S1064562424701825
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1064562424701825