Logic of CTD conditionals by Carmo and Jones; Classical higher-order logic; emantic embedding; Automated reasoning
Abstract :
[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 :
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)
External co-authors :
no
Language :
English
Title :
A Dyadic Deontic Logic in HOL
Publication date :
11 June 2018
Event name :
14th International Conference on Deontic Logic and Normative Systems (DEON 2018)
Event place :
Utrecht, Netherlands
Event date :
from 03-07-2018 to 06-07-2018
Audience :
International
Main work title :
Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018
Editor :
Broersen, Jan
Condoravdi, Cleo
Nair, Shyam
Pigozzi, Gabriella
Publisher :
College Publications
ISBN/EAN :
978-1-84890-278-7
Pages :
33-50
Peer reviewed :
Peer reviewed
European Projects :
H2020 - 690974 - MIREL - MIREL - MIning and REasoning with Legal texts