Three-valued Logics in Modal Logic |
| |
Authors: | Barteld Kooi Allard Tamminga |
| |
Affiliation: | 1. Faculty of Philosophy, University of Groningen, Oude Boteringestraat 52, 9712 GL, Groningen, The Netherlands 2. Institute of Philosophy, University of Oldenburg, Ammerl?nder Heerstra?e 114–118, 26129, Oldenburg, Germany
|
| |
Abstract: | Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any three-valued logic into a modal formula. Second, we show that for every S5-model there is an equivalent three-valued valuation and vice versa. In general, our Translation Manual gives rise to translations that are exponentially longer than their originals. This fact raises the question whether there are three-valued logics for which there is a shorter translation into S5. The answer is affirmative: we present an elegant linear translation of the Logic of Paradox and of Strong Three-valued Logic into S5. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|