Reference : Åqvist's Dyadic Deontic Logic E in HOL
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/41333
Åqvist's Dyadic Deontic Logic E in HOL
English
Benzmüller, Christoph mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Farjami, Ali mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Parent, Xavier mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
2019
IfCoLog Journal of Logics and Their Applications
6
5
733--755
Yes
http://hdl.handle.net/10993/41333
In print, preprint: https://www.researchgate.net/publication/332786724_Aqvist's_Dyadic_Deontic_Logic_E_in_HOL
H2020 ; 690974 - MIREL - MIREL - MIning and REasoning with Legal texts

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
SystemEfinal from Jane- publish.pdfPublisher postprint813.6 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.