| 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  [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >] | |
| van der Torre, Leon [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.
All documents in ORBilu are protected by a user license.
