Many-valued Logic and Modal Logic

25^th October 2011, 16:00 ALT
Dr. Barteld Kooi
Department of Philosophy
University of Groningen
NL

Abstract

Every three-valued logic can be conservatively translated
into the modal logic S5 and every four-valued logic can be
conservatively translated into the minimal modal logic M. These are
the general theorems we set out to prove. After we have established
this general claim, we give an elegant translation of Priest's Logic
of Paradox LP and Kleene's strong three-valued logic K3. This
translation is then used to characterize properties of possible
implications that could be added to these two three-valued logics.