A Faithful Semantic Embedding of the Dyadic Deontic Logic E in HOL (bibtex)
by Christoph Benzmüller, Ali Farjami, Xavier Parent
Reference:
A Faithful Semantic Embedding of the Dyadic Deontic Logic E in HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), 2018. (Url (preprint): http://christoph-benzmueller.de/papers/R59.pdf)
Bibtex Entry:
@unpublished{R71,
  Author =	 {Benzm{\"u}ller, Christoph and Farjami, Ali and
                  Parent, Xavier},
  Keywords =	 {own, Higher Order Logic, Deontic Logic, Automated
                  Reasoning, Universal Reasoning},
  Note =	 {Poster presented at the 6th World Congress and
                  School on Universal Logic, 16-26 June, Vichy,
                  France},
  Title =	 {A Faithful Semantic Embedding of the Dyadic Deontic
                  Logic E in HOL},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/R59.pdf}},
  Year =	 2018,
}
Powered by bibtexbrowser