Åqvist's Dyadic Deontic Logic E in HOL (bibtex)
by Christoph Benzmüller, Ali Farjami, Xavier Parent
Reference:
Åqvist's Dyadic Deontic Logic E in HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), In Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications (Special Issue: Reasoning for Legal AI) (Livio Robaldo, Leon van der Torre, eds.), volume 6, number 5, pp. 733--755, 2019. (Preprint: https://www.researchgate.net/publication/332786724)
Bibtex Entry:
@article{J45,
Author =	 {Christoph Benzm{\"u}ller and Ali Farjami and Xavier Parent},
Journal =	 {Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications (Special Issue: Reasoning for Legal AI)},
Editor =	 {Robaldo, Livio and van der Torre, Leon},
Title =	 {{{\AA}qvist's} Dyadic Deontic Logic {E} in {HOL}},
Volume = 6,

Number = 5,
Pages =        {733--755},
Addendum =         {Preprint: \url{https://www.researchgate.net/publication/332786724}},
Url =       {https://www.collegepublications.co.uk/ifcolog/?00034},
Year =	 2019,
}