Reference : A Dyadic Deontic Logic in HOL

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/36395

Title :	A Dyadic Deontic Logic in HOL
Language :	English
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) >]
Publication date :	11-Jun-2018
Main document 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
Pages :	33-50
Peer reviewed :	Yes
Audience :	International
ISBN :	978-1-84890-278-7
Event name :	14th International Conference on Deontic Logic and Normative Systems (DEON 2018)
Event date :	from 03-07-2018 to 06-07-2018
Event place (city) :	Utrecht
Event country :	Netherlands
Keywords :	[en] 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.
Permalink :	http://hdl.handle.net/10993/36395
Commentary :	John-Jules Meyer Best Paper Award
Framework Programme / European Project :	H2020 ; 690974 - MIREL - MIREL - MIning and REasoning with Legal texts

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access deon-paper-final-edited.pdf Author postprint 743.86 kB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map