Dyadic Deontic Logic and Semantic Tableaux
2009 (English)In: Logic and Logical Philosophy, ISSN 1425-3305, Vol. 18, no 3-4, 221-252 p.Article in journal (Refereed) Published
The purpose of this paper is to develop a class of semantic tableau systems for some dyadic deontic logics. We will consider 16 different pure dyadic deontic tableau systems and 32 different alethic dyadic deontic tableau systems. Possible world semantics is used to interpret our formal languages. Some relationships between our systems and well known dyadic deontic logics in the literature are pointed out and soundness results are obtained for every tableau system. Completeness results are obtained for all 16 pure dyadic deontic systems and for 16 alethic dyadic deontic systems.
Place, publisher, year, edition, pages
Torun: The Nicolaus Copernicus University Press , 2009. Vol. 18, no 3-4, 221-252 p.
dyadic deontic logic, modal logic, semantic tableau, analytic tableau, conditional obligation, commitment, Lennart Åqvist, Melvin Fitting, Graham Priest
Research subject Theoretical Philosophy
IdentifiersURN: urn:nbn:se:su:diva-42279DOI: 10.12775%2FLLP.2009.011OAI: oai:DiVA.org:su-42279DiVA: diva2:344738