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 ![]() | |
van der Torre, Leon ![]() | |
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.
All documents in ORBilu are protected by a user license.