Skip to main content
SpringerLink
Log in

Modal Companions of \(K4^{+}\)

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We study modal companions of \(K4^+\), the strictly positive fragment of K4. We partially find the boundary between all normal extensions of K4 and modal companions of \(K4^+\) among them. We also show that there is no greatest modal companion of \(K4^+\).

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Baader, F., S. Brandt, and C. Lutz, Pushing the EL envelope, in Proceedings of the 19th Joint International Conference on Artificial Intelligence (IJCAI 2005), 2005.

  2. Baader, F., S. Brandt, and C. Lutz, Pushing the EL envelope, in LTCS-Report 05-01, Institute for Theoretical Computer Science, Dresden University of Technology, Germany, 2005.

    Book  Google Scholar 

  3. Baader, F., S. Brandt, and B. Suntisrivaraporn, Is tractable reasoning in extensions of the description logic EL useful in practice?, in Proceedings of the Methods for Modalities Workshop (M4M-05), Berlin, Germany, 2005.

  4. Beklemishev, L. D., Positive provability logic for uniform reflection principles, Annals of Pure and Applied Logic 165: 82–105, 2014.

    Article  Google Scholar 

  5. Beklemishev, L. D., A note on strictly positive logics and word rewriting systems, in S. Odintsov, (ed.), Larisa Maksimova on Implication, Interpolation, and Definability, vol. 15 of Outstanding Contributions to Logic, Springer, 2017, pp. 61–70 (preprint arXiv:1509.00666, 2015).

  6. Beklemishev, L. D., On the reflection calculus with partial conservativity operators, Lecture Notes in Computer Science 10388: 48–67, 2017.

    Article  Google Scholar 

  7. Beklemishev, L. D., A universal algebra for the variable-free fragment of \(\rm RC^\nabla \), in S. Artemov, and A. Nerode, (eds.), Symposium on Logical Foundations of Computer Science 2018, Lecture Notes in Computer Science, Springer, 2018, pp. 91–106.

    Chapter  Google Scholar 

  8. Blok, W. J., Varieties of interior algebras, Ph.D. thesis, University of Amsterdam, 1976.

  9. Boolos, G., The Logic of Provability, Cambridge University Press, 1993.

  10. Chagrov, A., and M. Zakharyaschev, Modal Logic, Oxford University Press, 1997.

    Google Scholar 

  11. Dashkov, E. V., On the positive fragment of the polymodal provability logic GLP, Matematicheskie Zametki 91(3): 331–346, 2012. English translation: Mathematical Notes, 91(3):318–333, 2012.

    Google Scholar 

  12. Esakia, L. L., On modal companions of superintuitionistic logics, in VII Soviet Symposium on Logic, Kiev, 1976 (in Russian).

  13. Jackson, M., Semilattices with closure, Algebra Universalis 52: 1–37, 2004.

    Article  Google Scholar 

  14. Kaniskin, S., On positive fragments of modal logics, Diploma thesis, Moscow State University, 2013.

  15. Kikot, S., A. Kurucz, Y. Tanaka, F. Wolter, and M. Zakharyaschev, Kripke completeness of strictly positive modal logics over meet-semilattices with operators, Journal of Symbolic Logic 84: 533–588, 2019.

    Article  Google Scholar 

  16. Kikot, S., A. Kurucz, F. Wolter, and M. Zakharyaschev, On strictly positive modal logics with S4.3 frames, in G. Bezhanishvili, G. D’Agostino, G. Metcalfe, and T. Studer, (eds.), Advances in Modal Logic 12, College Publications, 2018, pp. 399–418.

  17. Kruskal, J. B., The theory of well quasi-ordering: a frequently discovered concept, Journal of Combinatorial Theory, Series A 13: 297–305, 1972.

    Article  Google Scholar 

  18. Pakhomov, F., On the complexity of the closed fragment of Japaridze’s provability logic, Archive for Mathematical Logic 53(7): 949–967, 2014.

    Article  Google Scholar 

  19. Shapirovsky, I., PSPACE–decidability of Japaridze’s polymodal logic, in C. Areces, and R. Goldblatt, (eds.), Advances in Modal Logic 7, College Publications, 2008, pp. 289–304.

  20. Sofronie-Stokkermans, V., Locality and subsumption testing in EL and some of its extensions, in C. Areces, and R. Goldblatt, (eds.), Advances in Modal Logic 7, College Publications, 2008, p. 315–339.

  21. Svyatlovskiy, M., Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics, Matematicheskie Zametki 103: 884–901, 2018.

    Google Scholar 

  22. Svyatlovskiy, M., Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics, Mathematical Notes 103: 952–967, 2018.

    Article  Google Scholar 

Download references

Acknowledgements

The author thanks his supervisor L. D. Beklemishev for the discussions and the help throughout preparing this article. The author also thanks Stanislav Kikot for some ideas shared in private conversations and the anonymous referee for many comments and suggestions on the first version of the article.

Author information

Authors and Affiliations

  1. Department of Applied Mathematics and Informatics, Moscow Institute of Physics and Technology, Pervomayskaya str., 31, Dolgoprudny, Moscow Region, Russia

    Mikhail Svyatlovskiy

Authors
  1. Mikhail Svyatlovskiy
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mikhail Svyatlovskiy.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Presented by Heinrich Wansing

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Svyatlovskiy, M. Modal Companions of \(K4^{+}\). Stud Logica 110, 1327–1347 (2022). https://doi.org/10.1007/s11225-022-10001-w

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-022-10001-w

Keywords

Search

Navigation