Journal of Symbolic Logic

Displaying the Modal Logic of Consistency

Heinrich Wansing

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

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.

Article information

Source
J. Symbolic Logic, Volume 64, Issue 4 (1999), 1573-1590.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183745939

Mathematical Reviews number (MathSciNet)
MR1780072

Zentralblatt MATH identifier
0964.03020

JSTOR
links.jstor.org

Keywords
Four-Valued Logic Constructive Logic Modal Logic Modal Translations Non-Monotonic Reasoning

Citation

Wansing, Heinrich. Displaying the Modal Logic of Consistency. J. Symbolic Logic 64 (1999), no. 4, 1573--1590. https://projecteuclid.org/euclid.jsl/1183745939


Export citation