Introduction to Deontic Logic and Normative Systems

Deontic logic deals with obligation, permission and related normative concepts. This textbook introduces three frameworks that have dominated the landscape of deontic logic: monadic deontic logic, dyadic deontic logic, and input/output logic. It describes their language, semantics, proof theory, and gives soundness and completeness theorems. The addition of exercises makes the book ideal for self-study or as a textbook in class. Deontic logic remains neutral on application issues. Over the ...