Graduate studies at Western
Studia Logica 101 (5):1061-1072 (2013)
|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||Three-valued logic Modal logic Conservative translations Expressivity|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Walter Sinnott-Armstrong & Amit Malhotra (2002). How to Avoid Deviance (in Logic). History and Philosophy of Logic 23 (3):215--36.
Josep Maria Font & Petr Hájek (2002). On Łukasiewicz's Four-Valued Modal Logic. Studia Logica 70 (2):157-182.
Gemma Robles, Francisco Salto & José M. Méndez (forthcoming). Dual Equivalent Two-Valued Under-Determined and Over-Determined Interpretations for Łukasiewicz's 3-Valued Logic Ł3. Journal of Philosophical Logic:1-30.
J. C. Beall (2003). Possibilities and Paradox: An Introduction to Modal and Many-Valued Logic. Oxford University Press.
Seiki Akama, Yasunori Nagata & Chikatoshi Yamada (2008). Three-Valued Temporal Logic Q T and Future Contingents. Studia Logica 88 (2):215 - 231.
O. Arieli, A. Avron & A. Zamansky (2011). Ideal Paraconsistent Logics. Studia Logica 99 (1-3):31-60.
Yoshihiro Maruyama (2010). Fuzzy Topology and Łukasiewicz Logics From the Viewpoint of Duality Theory. Studia Logica 94 (2):245 - 269.
E. H. Alves & J. A. D. Guerzoni (1990). Extending Montague's System: A Three Valued Intensional Logic. Studia Logica 49 (1):127 - 132.
Costas Drossos & Daniele Mundici (2000). Many-Valued Points and Equality. Synthese 125 (1-2):77-95.
Xavier Caicedo & Ricardo O. Rodriguez (2010). Standard Gödel Modal Logics. Studia Logica 94 (2):189 - 214.
Stefano Aguzzoli & Agata Ciabattoni (2000). Finiteness in Infinite-Valued Łukasiewicz Logic. Journal of Logic, Language and Information 9 (1):5-29.
Added to index2012-08-21
Total downloads17 ( #78,143 of 739,396 )
Recent downloads (6 months)1 ( #61,680 of 739,396 )
How can I increase my downloads?