Back
  1. Home
  3. Detailed Reference
Download
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.
2017 • Workshop on Computational Aspects of Arguments and LogiC (CAALC 2017)
Permalink
https://hdl.handle.net/10993/33607
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

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
198 (19 by Unilu)
Number of downloads
137 (17 by Unilu)
More statistics

Bibliography

Similar publications


Contact ORBilu