Review of Symbolic Logic 13 (2):416-435 (2020)

Stanislav Speranski
St. Petersburg State University
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 No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020319000121
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,229
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Reasoning with Logical Bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.
Modal Logics with Belnapian Truth Values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.
The Value of the Four Values.Ofer Arieli & Arnon Avron - 1998 - Artificial Intelligence 102 (1):97-141.

View all 9 references / Add more references

Citations of this work BETA

The Modal Logics of Kripke–Feferman Truth.Carlo Nicolai & Johannes Stern - 2021 - Journal of Symbolic Logic 86 (1):362-396.

Add more citations

Similar books and articles

An Infinity of Super-Belnap Logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319 - 335.
Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. College Publications. pp. 288-301.
Modal Logics with Belnapian Truth Values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.
The Power of Belnap: Sequent Systems for SIXTEEN ₃. [REVIEW]Heinrich Wansing - 2010 - Journal of Philosophical Logic 39 (4):369 - 393.


Added to PP index

Total views
17 ( #618,324 of 2,455,617 )

Recent downloads (6 months)
3 ( #225,855 of 2,455,617 )

How can I increase my downloads?


My notes