Displaying the modal logic of consistency

Journal of Symbolic Logic 64 (4):1573-1590 (1999)
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.
Keywords Four-Valued Logic   Constructive Logic   Modal Logic   Modal Translations   Non-Monotonic Reasoning
Categories (categorize this paper)
DOI 10.2307/2586798
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,308
Through your library
References found in this work BETA
Semantics-Based Nonmonotonic Inference.Heinrich Wansing - 1995 - Notre Dame Journal of Formal Logic 36 (1):44-54.
Predicate Logics on Display.Wansing Heinrich - 1999 - Studia Logica 62 (1):49-75.
A Modal Reduction for Partial Logic.Juan Barba - 1993 - Journal of Philosophical Logic 22 (4):429 - 435.

Add more references

Citations of this work BETA
Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation.Norihiro Kamide - 2006 - Journal of Logic, Language and Information 15 (4):371-401.
Gentzen-Type Methods for Bilattice Negation.Norihiro Kamide - 2005 - Studia Logica 80 (2-3):265-289.
Natural Deduction Systems for Nelson's Paraconsistent Logic and its Neighbors.Norihiro Kamide - 2005 - Journal of Applied Non-Classical Logics 15 (4):405-435.
A Spatial Modal Logic with a Location Interpretation.N. Kamide - 2005 - Mathematical Logic Quarterly 51 (4):331.

Add more citations

Similar books and articles
Models for Relevant Modal Logics.André Fuhrmann - 1990 - Studia Logica 49 (4):501 - 514.
Predicate Logics on Display.Wansing Heinrich - 1999 - Studia Logica 62 (1):49-75.
On Logics with Coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Displaying Modal Logic, Heinrich Wansing.Rajeev Goré - 2000 - Journal of Logic, Language and Information 9 (2):269-272.
Added to PP index
2009-01-28

Total downloads
16 ( #302,887 of 2,180,112 )

Recent downloads (6 months)
1 ( #304,925 of 2,180,112 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums