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 ![]() | |
Farjami, Ali ![]() | |
Parent, Xavier ![]() | |
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):
| ||||||||||||||
All documents in ORBilu are protected by a user license.