This book is an adaptation of my PhD thesis Representing L3gVI Rules in Deontic Logic Royakkers, 1996]. The main alterations are: The addition of chapter 2 concerning the semantics of deontic logic based on valua tions. In this chapter I extend the Beth tableau method, which is originally developed for the propositional calculus, to also be applicable for deontic logic. For those who are not familiar with deontic logic or with the axiomatic deduction, this method is a useful tool to check whether a formula is valid or not. The addition of the notion of commitment in chapter 5, and the notion...
This book is an adaptation of my PhD thesis Representing L3gVI Rules in Deontic Logic Royakkers, 1996]. The main alterations are: The addition of cha...
