No full text
Book published as author, translator, etc. (Books)
Introduction to Deontic Logic and Normative Systems
Parent, Xavier; van der Torre, Leon
2018College Publications, London, United Kingdom
 

Files


Full Text
No document available.

Send to



Details



Keywords :
Logic for AI; Normative Reasoning
Abstract :
[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.
Disciplines :
Computer science
Author, co-author :
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)
External co-authors :
no
Language :
English
Title :
Introduction to Deontic Logic and Normative Systems
Publication date :
10 December 2018
Publisher :
College Publications, London, United Kingdom
ISBN/EAN :
978-1-84890-269-5
Collection name :
Texts in Logic and Reasoning
Focus Area :
Security, Reliability and Trust
Available on ORBilu :
since 16 September 2019

Statistics


Number of views
628 (60 by Unilu)
Number of downloads
13 (11 by Unilu)

Bibliography


Similar publications



Contact ORBilu