Hostname: page-component-78c5997874-s2hrs Total loading time: 0 Render date: 2024-11-19T23:32:39.607Z Has data issue: false hasContentIssue false
  • English
  • Français

BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES

Published online by Cambridge University Press:  22 February 2019

SERGEI P. ODINTSOV  and
STANISLAV O. SPERANSKI
SERGEI P. ODINTSOV*
Affiliation:
Sobolev Institute of Mathematics
STANISLAV O. SPERANSKI*
Affiliation:
St. Petersburg State University
*
*SOBOLEV INSTITUTE OF MATHEMATICS 4 KOPTYUG AVENUE 630090 NOVOSIBIRSK, RUSSIA E-mail: [email protected]
†ST. PETERSBURG STATE UNIVERSITY 29B LINE 14TH, VASILYEVSKY ISLAND 199178 SAINT PETERSBURG, RUSSIA E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

We shall be concerned with the modal logic BK—which is based on the Belnap–Dunn four-valued matrix, and can be viewed as being obtained from the least normal modal logic K by adding ‘strong negation’. Though all four values ‘truth’, ‘falsity’, ‘neither’ and ‘both’ are employed in its Kripke semantics, only the first two are expressible as terms. We show that expanding the original language of BK to include constants for ‘neither’ or/and ‘both’ leads to quite unexpected results. To be more precise, adding one of these constants has the effect of eliminating the respective value at the level of BK-extensions. In particular, if one adds both of these, then the corresponding lattice of extensions turns out to be isomorphic to that of ordinary normal modal logics.

Keywords

03B4503B5003Gxx06-XXmany-valued modal logicfirst-degree entailmentstrong negationalgebraic logic
Type
Research Article
Information
The Review of Symbolic Logic , Volume 13 , Issue 2 , June 2020 , pp. 416 - 435
Copyright
Copyright © Association for Symbolic Logic 2019 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

Arieli, O. & Avron, A. (1996). Reasoning with logical bilattices. Journal of Logic, Language and Information, 5(1), 25–63.CrossRefGoogle Scholar
Arieli, O. & Avron, A. (1996). The value of the four values. Artificial Intelligence, 102(1), 97–141.CrossRefGoogle Scholar
Avron, A. (1999). On the expressive power of three-valued and four-valued languages. Journal of Logic and Computation, 9(6), 977–994.CrossRefGoogle Scholar
Busaniche, M. & Cignoli, M. (2009). Residuated lattices as an algebraic semantics for paraconsistent Nelson’s logic. Journal of Logic and Computation, 19(6), 1019–1029.CrossRefGoogle Scholar
Busaniche, M. & Cignoli, M. (2010). Constructive logic with strong negation as a substructural logic. Journal of Logic and Computation, 20(4), 761–793.CrossRefGoogle Scholar
Galatos, N., Jipsen, P., Kowalski, T., & Ono, H. (2007). Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Amsterdam: Elsevier.Google Scholar
Jung, A. & Rivieccio, U. (2013). Kripke semantics for modal bilattice logic. Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science. Piscataway, NJ: IEEE, pp. 438–447.CrossRefGoogle Scholar
Kracht, M. (1999). Tools and Techniques in Modal Logic. Amsterdam: Elsevier.Google Scholar
Odintsov, S. P. (2008). Constructive Negations and Paraconsistency. Dordrecht: Springer.CrossRefGoogle Scholar
Odintsov, S. P. (2014). On the equivalence of paraconsistent and explosive versions of Nelson logic. In Brattka, V., Diener, H., and Spreen, D., editors. Logic, Computation, Hierarchies. Berlin: De Gruyter, pp. 259–272.Google Scholar
Odintsov, S. P. (2015). Belnap constants and Nelson logic. In Koslow, A. and Buchsbaum, A., editors. The Road to Universal Logic. Cham: Birkhäuser/Springer, pp. 521–538.CrossRefGoogle Scholar
Odintsov, S. P. & Latkin, E. I. (2012). BK-lattices. Algebraic semantics for Belnapian modal logics. Studia Logica, 100(1–2), 319–338.CrossRefGoogle Scholar
Odintsov, S. P. & Speranski, S. O. (2016). The lattice of Belnapian modal logics: Special extensions and counterparts. Logic and Logical Philosophy, 25(1), 3–33.Google Scholar
Odintsov, S. P. & Wansing, H. (2010). Modal logics with Belnapian truth values. Journal of Applied Non-Classical Logics, 20(3), 279–301.CrossRefGoogle Scholar
Odintsov, S. P. & Wansing, H. (2017). Disentangling FDE-based paraconsistent modal logics. Studia Logica, 105(6), 1221–1254.CrossRefGoogle Scholar
Omori, H. (2016). From paraconsistent logic to dialetheic logic. In Andreas, H. and Verdée, P., editors. Logical Studies of Paraconsistent Reasoning in Science and Mathematics. Cham: Springer, pp. 111–134.CrossRefGoogle Scholar
Rivieccio, U. (2011). Paraconsistent modal logics. Electronic Notes in Theoretical Computer Science, 278, 173–186.CrossRefGoogle Scholar
Speranski, S. O. (2013). On Belnapian modal algebras: Representations, homomorphisms, congruences, and so on. Siberian Electronic Mathematical Reports, 10, 517–534.Google Scholar
Spinks, M. & Veroff, R. (2008). Constructive logic with strong negation is a substructural logic. I. Studia Logica, 88(3), 325–348.CrossRefGoogle Scholar
Vakarelov, D. (1977). Notes on ${\cal N}$-lattices and constructive logic with strong negation. Studia Logica 36(1–2), 109–125.CrossRefGoogle Scholar
Wansing, H. (2016). Connexive logic. In Zalta, E. N., editor. Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/archives/spr2016/entries/logic-connexive/.Google Scholar