Reference : Introduction to Deontic Logic and Normative Systems
Books : Book published as author, translator, etc.
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/40374
Introduction to Deontic Logic and Normative Systems
English
Parent, Xavier mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
van der Torre, Leon mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
10-Dec-2018
College Publications
Texts in Logic and Reasoning
978-1-84890-269-5
London
UK
[en] Logic for AI ; Normative Reasoning
[en] 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 years, it has been applied in a variety of fields, including philosophy, ethics, linguistics, computer science, and the law. This textbook will serve as a valuable resource for students and researchers wishing to gain a practical understanding of deontic logic for use in their work.
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/40374
http://collegepublications.co.uk/TLR/?00001

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.