Aqvist's Dyadic Deontic Logic E in HOL

Author(s): Benzmüller, Christoph  ; Farjami, Ali; Parent, Xavier
Title of the Journal: Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications
ISSN: 2631-9829, 2631-9810
Publisher Information: Rickmansworth, UK : College Publications
Year of publication: 2019
Volume: 6
Issue: 5
Pages: 733-755
Language(s): English
Peer Reviewed: Ja
International Distribution: Ja
Open Access Journal: Ja
Type: Article
Release Date: 23. December 2022