Åqvist's Dyadic Deontic Logic E in HOL. Benzmüller, C., Farjami, A., & Parent, X. Journal of Applied Logics – IfCoLoG Journal of Logics and their Applications (Special Issue: Reasoning for Legal AI), 6(5):733–755, 2019. Preprint Paper bibtex @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},
url_preprint = {https://www.researchgate.net/publication/332786724},
Url =
{https://www.collegepublications.co.uk/ifcolog/?00034},
Year = 2019,
}
Downloads: 0
{"_id":"jF4wtB5tZLYW9zzna","bibbaseid":"benzmller-farjami-parent-qvistsdyadicdeonticlogiceinhol-2019","author_short":["Benzmüller, C.","Farjami, A.","Parent, X."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"firstnames":["Ali"],"propositions":[],"lastnames":["Farjami"],"suffixes":[]},{"firstnames":["Xavier"],"propositions":[],"lastnames":["Parent"],"suffixes":[]}],"journal":"Journal of Applied Logics – IfCoLoG Journal of Logics and their Applications (Special Issue: Reasoning for Legal AI)","editor":[{"propositions":[],"lastnames":["Robaldo"],"firstnames":["Livio"],"suffixes":[]},{"propositions":["van","der"],"lastnames":["Torre"],"firstnames":["Leon"],"suffixes":[]}],"title":"Åqvist's Dyadic Deontic Logic E in HOL","volume":"6","number":"5","pages":"733–755","url_preprint":"https://www.researchgate.net/publication/332786724","url":"https://www.collegepublications.co.uk/ifcolog/?00034","year":"2019","bibtex":"@article{J45,\n Author =\t {Christoph Benzm{\\\"u}ller and Ali Farjami and Xavier\n Parent},\n Journal =\t {Journal of Applied Logics -- IfCoLoG Journal of\n Logics and their Applications (Special Issue:\n Reasoning for Legal AI)},\n Editor =\t {Robaldo, Livio and van der Torre, Leon},\n Title =\t {{{\\AA}qvist's} Dyadic Deontic Logic {E} in {HOL}},\n Volume =\t 6,\n Number =\t 5,\n Pages =\t {733--755},\n url_preprint = {https://www.researchgate.net/publication/332786724},\n Url =\n {https://www.collegepublications.co.uk/ifcolog/?00034},\n Year =\t 2019,\n}\n\n","author_short":["Benzmüller, C.","Farjami, A.","Parent, X."],"editor_short":["Robaldo, L.","van der Torre, L."],"key":"J45","id":"J45","bibbaseid":"benzmller-farjami-parent-qvistsdyadicdeonticlogiceinhol-2019","role":"author","urls":{" preprint":"https://www.researchgate.net/publication/332786724","Paper":"https://www.collegepublications.co.uk/ifcolog/?00034"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","TMLR8ZY4yQJ9bNyWt","S5G7BggtbXZA2Q63T"],"keywords":[],"search_terms":["qvist","dyadic","deontic","logic","hol","benzmüller","farjami","parent"],"title":"Åqvist's Dyadic Deontic Logic E in HOL","year":2019}