Unpublished conference/Abstract (Scientific congresses, symposiums and conference proceedings)
Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier et al.
2017Workshop on Computational Aspects of Arguments and LogiC (CAALC 2017)
 

Files


Full Text
CAALC 2017 Farjami.pdf
Author preprint (128 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Dyadic Logic; Higher-Order Logic; normtive reasoning
Abstract :
[en] A shallow semantical embedding of a dyadic deontic logic (by Carmo and Jones) in Isabelle/HOL is presented. First experiments provide evidence that this logic implementation fruitfully enables interactive and automated reasoning at the meta-level the object-level.
Disciplines :
Computer science
Author, co-author :
Benzmüller, Christoph ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Farjami, Ali ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
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 :
Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL
Publication date :
06 July 2017
Number of pages :
2
Event name :
Workshop on Computational Aspects of Arguments and LogiC (CAALC 2017)
Event organizer :
Mathematical Institute, Serbian Academy of Sciences and Arts
Event place :
Belgrade, Serbia
Event date :
from 06-07-2017 to 07-07-2017
Audience :
International
Focus Area :
Computational Sciences
Available on ORBilu :
since 12 December 2017

Statistics


Number of views
134 (18 by Unilu)
Number of downloads
116 (17 by Unilu)

Bibliography


Similar publications



Contact ORBilu