Reference : A Dyadic Deontic Logic in HOL
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/36395
A Dyadic Deontic Logic in HOL
English
Benzmüller, Christoph mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Farjami, Ali mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Parent, Xavier mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
11-Jun-2018
Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018
Broersen, Jan
Condoravdi, Cleo
Nair, Shyam
Pigozzi, Gabriella
College Publications
33-50
Yes
International
978-1-84890-278-7
14th International Conference on Deontic Logic and Normative Systems (DEON 2018)
from 03-07-2018 to 06-07-2018
Utrecht
Netherlands
[en] Logic of CTD conditionals by Carmo and Jones ; Classical higher-order logic ; emantic embedding ; Automated reasoning
[en] A shallow semantical embedding of a dyadic deontic logic by Carmo
and Jones in classical higher-order logic is presented. This
embedding is proven sound and complete, that is, faithful.
The work presented here provides the theoretical foundation for the
implementation and automation of dyadic deontic logic within
off-the-shelf higher-order theorem provers and proof assistants.
http://hdl.handle.net/10993/36395
John-Jules Meyer Best Paper Award
H2020 ; 690974 - MIREL - MIREL - MIning and REasoning with Legal texts

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
deon-paper-final-edited.pdfAuthor postprint743.86 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.