Abstract
Quasi-Boolean modal algebras are quasi-Boolean algebras with a modal operator satisfying the interaction axiom. Sequential quasi-Boolean modal logics and the relational semantics are introduced. Kripke-completeness for some quasi-Boolean modal logics is shown by the canonical model method. We show that every descriptive persistent quasi-Boolean modal logic is canonical. The finite model property of some quasi-Boolean modal logics is proved. A cut-free Gentzen sequent calculus for the minimal quasi-Boolean logic is developed and we show that it has the Craig interpolation property.
Similar content being viewed by others
References
Belnap, N., A useful four-valued logic, in J. M. Dunn, and G. Epstein, (eds.), Modern Uses of Multiple-Valued Logic, D. Reidel Publishing Company, Dordrecht, 1977, pp. 5–37.
Białynicki-Birula, A., and H. Rasiowa, On the representation of quasi-Boolean algebras, Bulletin de l’Académie Polonaise des Sciences Classe III, Bd. 5: 259–261, 1957.
Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.
Celani, S., Lógicas modales distributivas y de De Morgan, Ph.D. Thesis, Universidad de Barcelona, 1995.
Celalni, S., A new semantics for positive modal logic, Notre Dame Journal of Formal Logic, 38(1): 1–19, 1997.
Celani, S., and R. Jansana, Priestly duality, a Sahlqvist theorem and a Goldblatt–Thomason theorem for positive modal logic, Logic Journal of the IGPL 7(6): 683–715, 1999.
Celani, S., Classical modal De Morgan algebras, Studia Logica 98: 251–266, 2011.
Chagrov, A., and M. Zakharyaschev, Modal Logic, Clarendon Press, 1997.
Cornish, W. H. and P. R. Fowler, Coproducts of de Morgan algebras, Bulletin of the Australian Mathematical Society, 16(1): 1–13, 1977.
Davey, B. A. and H. A. Priestley, Introduction to Lattices and Order. Second edition. Cambridge University Press, 2002.
Dunn, J. M., The Algebra of Intensional Logics, Ph.D. Thesis. University of Pittsburg, 1966.
Dunn, J. M., The effective equivalence of certain propositions about De Morgan lattices, The Journal of Symbolic Logic 32: 433–434, 1967.
Dunn, J. M., A relational representation of quasi-Boolean algebras, Notre Dame Journal of Formal Logic, 23(4): 353–357, 1982.
Dunn, M., Positive modal logic, Studia Logica 55: 301–317, 1995.
Dunn, J. M., A comparative study of various model-theoretic treatments of negation: a history of formal negation, in D. M. Gabbay, and H. Wansing, (eds.), What is Negation?, Kluwer Academic Publishers, 1999, pp. 23–51.
Dzik, W., E. Orłowska, and C. van Alten, Relational representation theorems for general lattices with negations, in Relations and Kleene Algebra in Computer Science, LNCS 4136, Springer, Berlin, 2006, pp. 162–176
Figallo, A. V., and G. Pelaitay, Tense operators on De Morgan algebras, Logic Journal of the IGPL, 22(2): 255–267, 2014.
Fine, K., Some connections between elementary and modal logic, in S. Kanger, (ed.), Proceedings of the Third Scandinavian Logic Symposium, Noth-Holland, Amsterdam, 1975, pp. 13–31.
Font, J. M., and M. Rius, An abstract algebraic logic approach to tetravalent modal logics, The Journal of Symbolic Logic, 65: 481–518, 2000.
Font, J. M., Belnap’s four-valued logic and De Morgan lattices, Logic Journal of IGP 5(3): 413–440, 1997.
Font, J. M., and M. Rius, An abstract algebraic logic approach to tetravalent modal logics, The Journal of Symbolic Logic 65: 481–518, 2000.
Gehrke, M., H. Nagahashi, and Y. Venema, A Sahlqvist theorem for distributive modal logic, Annals of Pure and Applied Logic 131: 65–102, 2005.
Gregori, V., Discrete duality for De Morgan algebras with operators, Asian-European Journal of Mathematics 12(1): 1950010, 2019.
Lin, Y. and M. Ma, Polarity semantics for negation as a modal operator, Studia Logica, 108: 877–902, 2019.
Lin, Z. and M. Ma, Residuated algebraic structures in the vicinity of pre-rough algebras and decidability, Fundamenta Informatica 179: 239–174, 2021.
Lin, Y. and M. Ma, Belnap-Dunn modal logic with value operators, Studia Logica, 109: 759–789, 2021.
Loureiro, I., Prime spectrum of a tetravalent modal algebra, Notre Dame Journal of Formal Logic 24: 389–394, 1983.
Moraschini, T., Varieties of positive modal algebras and structural completeness, The Review of Symbolic Logic 12(3): 557–588, 2019.
Odintsov, S. P., and S. O. Speranski, Belnap-Dunn modal logics: truth constants vs. truth values, The Review of Symbolic Logic 13(2): 416–435, 2020.
Odintsov, S. P. and H. Wansing, Modal logics with Belnapian truth values, Journal of Applied Non-Classical Logics 20(3): 279–301, 2017.
Ono, H., Proof-theoretic methods in non-classical logic, in M. Takahashi, M. Okada, M. Dezani-Ciancaglini, (eds.), Theories of Types and Proofs, Mathematical Society of Japan, 1998, pp. 207–254.
Rasiowa, H., An Algebraic Approach to Non-Classical Logics, North-Holland Publishing Company, Amsterdam, 1974.
Rivieccio, U., A. Jung, and R. Jansana, Four-valued modal logic: Kripke semantics and duality, Journal of Logic and Computation 27(1): 155–199, 2015.
Saha, A., J. Sen and M. K. Chakraborty, Algebraic structures in the vicinity of pre-rough algebra and their logics, Information Sciences 282: 296–320, 2014.
Sankappanavar, H. P., A characterization of principal congruences of De Mogan algebras and its applications, in A. I. Arruda, R. Chuaqui, and N. C. A. da Costa, (eds.), Mathematical Logic in Latin Ameica, North-Holland Publishing Company, Amsterdam, 1980, pp. 314–349.
Sofronie-Stokkermans, V., Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics I, Studia Logica 64, 93–132, 2000.
Sofronie-Stokkermans, V., Duality and canonical extensions of bounded Distributive lattices with operators, and applications to the semantics of non-classical logics II, Studia Logica 64, 151–172, 2000.
van Benthem, J., Canonical modal logics and ultrafilter extensions, The Journal of Symbolic Logic 44: 1–8, 1979.
Acknowledgements
Thanks are given to the referee’s for their helpful comments on revising the manuscript. The work of the authors was supported by Chinese National Funding of Social Sciences (18ZDA033).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Yaroslav Shramko
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Ma, M., Guo, J. Kripke-Completeness and Sequent Calculus for Quasi-Boolean Modal Logic. Stud Logica (2024). https://doi.org/10.1007/s11225-024-10095-4
Received:
Published:
DOI: https://doi.org/10.1007/s11225-024-10095-4