Studia Logica

, Volume 101, Issue 5, pp 1061–1072

Three-valued Logics in Modal Logic

Open Access

DOI: 10.1007/s11225-012-9420-0

Cite this article as:
Kooi, B. & Tamminga, A. Stud Logica (2013) 101: 1061. doi:10.1007/s11225-012-9420-0


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.


Three-valued logic Modal logic Conservative translations Expressivity 
Download to read the full article text

Copyright information

© Springer Science+Business Media B.V. 2012

Authors and Affiliations

  1. 1.Faculty of PhilosophyUniversity of GroningenGroningenThe Netherlands
  2. 2.Institute of PhilosophyUniversity of OldenburgOldenburgGermany

Personalised recommendations