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)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Åqvist's Dyadic Deontic Logic E in HOL
Date de publication/diffusion :
2019
Titre du périodique :
IfCoLog Journal of Logics and Their Applications
Volume/Tome :
6
Fascicule/Saison :
5
Pagination :
733--755
Peer reviewed :
Peer reviewed
Projet européen :
H2020 - 690974 - MIREL - MIREL - MIning and REasoning with Legal texts
Organisme subsidiant :
CE - Commission Européenne
Commentaire :
In print, preprint: https://www.researchgate.net/publication/332786724_Aqvist's_Dyadic_Deontic_Logic_E_in_HOL
