Displaying the modal logic of consistency

Journal of Symbolic Logic 64 (4):1573-1590 (1999)
  Copy   BIBTEX

Abstract

It is shown that the constructive four-valued logic N4 can be faithfully embedded into the modal logic S4. This embedding is used to obtain complete, cut-free display sequent calculi for N4 and C4, the modal logic of consistency over N4. C4 is a natural monotonic base system for semantics-based non-monotonic reasoning.

Categories

Keywords

Reprint years

DOI

10.2307/2586798

Other Versions

No versions found

Links

PhilArchive

External links

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

Through your library

My notes

Similar books and articles

Correction to ‘Displaying the modal logic of consistency’.Heinrich Wansing - 2003 - Journal of Symbolic Logic 68 (2):712-712.
Modal logics with Belnapian truth values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Minimal Modal Logics, Constructive Modal Logics and Their Relations.Tiziano Dalmonte - 2025 - Review of Symbolic Logic 18 (2):463-504.
Modal logic based theory for non-monotonic reasoning.Pierre Siegel & Camilla Schwind - 1993 - Journal of Applied Non-Classical Logics 3 (1):73-92.
Modal extension of ideal paraconsistent four-valued logic and its subsystem.Norihiro Kamide & Yoni Zohar - 2020 - Annals of Pure and Applied Logic 171 (10):102830.
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5.Norihiro Kamide - 2023 - Journal of Logic, Language and Information 32 (3):395-440.
Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion.Norihiro Kamide - 2020 - Journal of Philosophical Logic 49 (6):1185-1212.
On Modal Companions of Logics with Strong Negation.Dmitry M. Anishchenko - forthcoming - Studia Logica:1-26.
Disentangling FDE -Based Paraconsistent Modal Logics.Sergei P. Odintsov & Heinrich Wansing - 2017 - Studia Logica 105 (6):1221-1254.

Analytics

Added to PP
2009-01-28

Downloads
173 (#236,775)

6 months
45 (#184,076)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Heinrich Wansing
Heinrich Wansing
Ruhr-Universität Bochum

Citations of this work

Natural deduction systems for Nelson's paraconsistent logic and its neighbors.Norihiro Kamide - 2005 - Journal of Applied Non-Classical Logics 15 (4):405-435.
Gentzen-Type Methods for Bilattice Negation.Norihiro Kamide - 2005 - Studia Logica 80 (2-3):265-289.
An embedding-based completeness proof for Nelson's paraconsistent logic.Norihiro Kamide - 2010 - Bulletin of the Section of Logic 39 (3/4):205-214.

View all 9 citations / Add more citations

References found in this work

Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein, Modern Uses of Multiple-Valued Logic. D. Reidel.

View all 12 references / Add more references