Displaying the modal logic of consistency

Authors
Wansing, H
Citation
H. Wansing, Displaying the modal logic of consistency, J SYMB LOG, 64(4), 1999, pp. 1573-1590
Citations number
29
Categorie Soggetti
Mathematics
Journal title
JOURNAL OF SYMBOLIC LOGIC
ISSN journal
00224812 → ACNP
Volume
64
Issue
4
Year of publication
1999
Pages
1573 - 1590
Database
ISI
SICI code
0022-4812(199912)64:4<1573:DTMLOC>2.0.ZU;2-U
Abstract
It is shown that the constructive four-valued logic N4 can be faithfully em bedded 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 consiste ncy over N4. C4 is a natural monotonic base system for semantics-based non- monotonic reasoning.