@article{Rönnedal_2010, title={Dyadic deontic logic and semantic tableaux}, volume={18}, url={https://apcz.umk.pl/LLP/article/view/LLP.2009.011}, DOI={10.12775/LLP.2009.011}, abstractNote={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.}, number={3-4}, journal={Logic and Logical Philosophy}, author={Rönnedal, Daniel}, year={2010}, month={Mar.}, pages={221–252} }