Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL

Reference : Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL


	Document type :	Scientific congresses, symposiums and conference proceedings : Unpublished conference
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/33607

Title :	Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/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) >]
	van der Torre, Leon [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	6-Jul-2017
Number of pages :	2
Peer reviewed :	No
Audience :	International
Event name :	Workshop on Computational Aspects of Arguments and LogiC (CAALC 2017)
Event date :	from 06-07-2017 to 07-07-2017
Event organizer :	Mathematical Institute, Serbian Academy of Sciences and Arts
Event place (city) :	Belgrade
Event country :	Serbia
Keywords :	[en] 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.
Permalink :	http://hdl.handle.net/10993/33607

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	CAALC 2017 Farjami.pdf		Author preprint	125 kB	View/Open

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