Skip to main content
Log in

Topological-Frame Products of Modal Logics

Studia Logica Aims and scope Submit manuscript

Abstract

The simplest bimodal combination of unimodal logics \(\text {L} _1\) and \(\text {L} _2\) is their fusion, \(\text {L} _1 \otimes \text {L} _2\), axiomatized by the theorems of \(\text {L} _1\) for \(\square _1\) and of \(\text {L} _2\) for \(\square _2\), and the rules of modus ponens, necessitation for \(\square _1\) and for \(\square _2\), and substitution. Shehtman introduced the frame product \(\text {L} _1 \times \text {L} _2\), as the logic of the products of certain Kripke frames: these logics are two-dimensional as well as bimodal. Van Benthem, Bezhanishvili, ten Cate and Sarenac transposed Shehtman’s idea to the topological semantics and introduced the topological product \(\text {L} _1 \times _t \text {L} _2\), as the logic of the products of certain topological spaces. For almost all well-studies logics, we have \(\text {L} _1 \otimes \text {L} _2 \subsetneq \text {L} _1 \times \text {L} _2\), for example, \(\text {S4} \otimes \text {S4} \subsetneq \text {S4} \times \text {S4} \). Van Benthem et al. show, by contrast, that \(\text {S4} \times _t \text {S4} = \text {S4} \otimes \text {S4} \). It is straightforward to define the product of a topological space and a frame: the result is a topologized frame, i.e., a set together with a topology and a binary relation. In this paper, we introduce topological-frame products \(\text {L} _1 \times _ tf \text {L} _2\) of modal logics, providing a complete axiomatization of \(\text {S4} \times _ tf \text {L} \), whenever \(\text {L} \) is a Kripke complete Horn axiomatizable extension of the modal logic D: these extensions include \(\text {T} , \text {S4} \) and \(\text {S5} \), but not \(\text {K} \) or \(\text {K4} \). We leave open the problem of axiomatizing \(\text {S4} \times _ tf \text {K} \), \(\text {S4} \times _ tf \text {K4} \), and other related logics. When \(\text {L} = \text {S4} \), our result confirms a conjecture of van Benthem et al. concerning the logic of products of Alexandrov spaces with arbitrary topological spaces.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Davoren, J. M., V. Coulthard, T. Moor, R. P. Goré, and A. Nerode, Topological semantics for intuitionistic modal logics, and spatial discretisation by A/D maps, in Workshop on Intuitionistic Modal Logic and Applications (IMLA). Copenhagen, Denmark, 2002.

  2. Esakia, L., Topological Kripke models, Soviet Mathematics - Doklady 15:147–151, 1974.

    Google Scholar 

  3. Gabbay, D. M., A. Kurucz, F. Wolter, and M. Zakharyaschev, Many-dimensional modal logics: theory and applications, in Studies in Logic and the Foundations of Mathematics, Volume 148. Elsevier, 2003.

  4. Gabbay, D. M., and V. B. Shehtman, Products of modal logics, part 1, Logic Journal of the IGPL 1:73–146, 1998.

    Article  Google Scholar 

  5. Kremer, P., Quantified modal logic on the rational line, Review of Symbolic Logic 7:439–454, 2014.

    Article  Google Scholar 

  6. Kremer, P., Matching topological and frame products of modal logics, Studia Logica 104:487–502, 2016.

    Article  Google Scholar 

  7. Kudinov, A., Modal logic of some products of neighborhood frames, in T. Bolander, T. Braüner, S. Ghilardi and L. S. Moss, (eds), Advances in Modal Logic, Volume 9. College Publications, 2012, pp. 386–394.

  8. Kudinov, A., Neighbourhood frame product KxK, in R. Gor, B. Kooi, and A. Kurucz, (eds), Advances in Modal Logic, Volume 10. College Publications, 2014, pp. 373–386.

  9. Kudinov, A., On neighborhood product of some Horn axiomatizable logics. Unpublished ms, downloaded from https://arxiv.org/pdf/1609.03232v1.pdf, on October 19, 2016.

  10. Kurucz, A., and M. Zakharyaschev, A note on relativised products of modal logics, in P. Balbiani, N.-Y. Suzuki, F.Wolter, and M.Zakharyaschev (eds), Advances in Modal Logic, Volume 4. King’s College Publications, 2003, pp. 221–242.

  11. Rasiowa, H., and R. Sikorski, The Mathematics of Metamathematics, Państowowe Wydawnictwo Naukowe, Warsaw, 1963.

    Google Scholar 

  12. Shehtman, V. B., Two-dimensional modal logic (in Russian), Matematicheskie Zametki 23:773–781, 1978. English translation, Mathematical notes of the Academy of Sciences of the USSR 23:417–424, 1978.

  13. Shehtman, V. B., Two-dimensional modal logics and relativized quantifiers, in Advances in Modal Logic ’98, Extended Abstracts, Uppsala 1998, pp. 226–373.

  14. van Benthem J., G. Bezhanishvili, B. ten Cate, and D. Sarenac, Multimodal logics of products of topologies, Studia Logica 84:369–392, 2006.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Philip Kremer.

Additional information

Presented by Yde Venema

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kremer, P. Topological-Frame Products of Modal Logics. Stud Logica 106, 1097–1122 (2018). https://doi.org/10.1007/s11225-017-9775-3

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-017-9775-3

Keywords

Navigation