The lattice of Belnapian modal logics: Special extensions and counterparts

Logic and Logical Philosophy 25 (1):3-33 (2016)
  Copy   BIBTEX


Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on: • introducing the classes of so-called explosive, complete and classical Belnapian modal logics; • assigning to every normal modal logic three special conservative extensions in these classes; • associating with every Belnapian modal logic its explosive, complete and classical counterparts. We investigate the relationships between special extensions and counterparts, provide certain handy characterisations and suggest a useful decomposition of the lattice of logics containing BK.



    Upload a copy of this work     Papers currently archived: 76,140

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Nearly every normal modal logic is paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.
The lattice of modal logics: An algebraic investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.
The lattice of normal modal logics (preliminary report).Wolfgang Rautenberg - 1977 - Bulletin of the Section of Logic 6 (4):193-199.
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.


Added to PP

10 (#889,346)

6 months
1 (#447,993)

Historical graph of downloads
How can I increase my downloads?