A modal reduction for partial logic

DOI10.1007/BF01052534MaRDI QIDQ2366529zbMATH OpenFDO

Publication date 17 February 1994

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01052534

four-valued logic incoherence McKinsey's axiom modal logic partial information logic partial logic S4 S4.1 three-valued logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Paraconsistent logics (03B53) Other nonclassical logic (03B60)

Review text

Partial logic may be seen as a three-valued logic whose third truth value can be soundly interpreted as ``undefined or ``neither true nor false. It is well known that three-valued partial logic -- or partial information -- can be modelled within classical modal logic. However, for many purposes it seems more convenient to allow not only partiality, but also incoherence in logic, dealing with a four-valued logic whose non- classical truth values should be interpreted as ``undefined and ``both true and false, respectively. The interest of this interpretation was pointed out by J. M. Dunn. This paper aims to prove that this four-valued partial and incoherent logic can also be reduced to classical modal logic, more precisely, to the modal system S4, and that when attention is restricted to the three-valued case, the reducing modal logic becomes just S4 plus McKinsey's axiom, i.e., the system often known as S4.1.

Recommendations

Cites work

This page was built for publication: A modal reduction for partial logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2366529)