Aqvist's Dyadic Deontic Logic E in HOL (bibtex)
by Christoph Benzmüller, Ali Farjami, Xavier Parent
Reference:
Aqvist's Dyadic Deontic Logic E in HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), MIREL 2018 workshop on MIning and REasoning with Legal texts, 2018. (Url (preprint): http://orbilu.uni.lu/handle/10993/37014)
Bibtex Entry:
@misc{W62,
  Author =	 {Benzm\"uller, Christoph and Farjami, Ali and Parent,
                  Xavier},
  Booktitle =	 {MIREL 2018},
  Keywords =	 {own, Dyadic Deontic Logic E, Preference Models,
                  Higher Order Logic, Semantic Embedding, Automated
                  Reasoning},
  Publisher =	 {MIREL 2018 workshop on MIning and REasoning with
                  Legal texts},
  Note =	         {Url (preprint): \url{http://orbilu.uni.lu/handle/10993/37014}},
  Title =	 {Aqvist's Dyadic Deontic Logic E in HOL},
  Year =	 2018,
}
Powered by bibtexbrowser