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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

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

Models for relevant modal logics.André Fuhrmann - 1990 - Studia Logica 49 (4):501 - 514.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
The unprovability of consistency: an essay in modal logic.George Boolos - 1979 - New York: Cambridge University Press.
Displaying modal logic, Heinrich Wansing.Rajeev Goré - 2000 - Journal of Logic, Language and Information 9 (2):269-272.
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Predicate logics on display.Heinrich Wansing - 1999 - Studia Logica 62 (1):49-75.

Analytics

Added to PP
2009-01-28

Downloads
48 (#330,129)

6 months
13 (#191,601)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Heinrich Wansing
Ruhr-Universität Bochum

Citations of this work

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

View all 7 citations / Add more citations

References found in this work

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 (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
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.

View all 12 references / Add more references