Logic of CTD conditionals by Carmo and Jones; Classical higher-order logic; emantic embedding; Automated reasoning
Résumé :
[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.
Disciplines :
Sciences informatiques
Auteur, co-auteur :
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)
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
A Dyadic Deontic Logic in HOL
Date de publication/diffusion :
11 juin 2018
Nom de la manifestation :
14th International Conference on Deontic Logic and Normative Systems (DEON 2018)
Lieu de la manifestation :
Utrecht, Pays-Bas
Date de la manifestation :
from 03-07-2018 to 06-07-2018
Manifestation à portée :
International
Titre de l'ouvrage principal :
Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018
Editeur scientifique :
Broersen, Jan
Condoravdi, Cleo
Nair, Shyam
Pigozzi, Gabriella
Maison d'édition :
College Publications
ISBN/EAN :
978-1-84890-278-7
Pagination :
33-50
Peer reviewed :
Peer reviewed
Projet européen :
H2020 - 690974 - MIREL - MIREL - MIning and REasoning with Legal texts
