Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL (bibtex)
by Christoph Benzmüller, Ali Farjami, Xavier Parent
Reference:
Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), Technical report, CoRR, 2018. (https://arxiv.org/abs/1802.08454)
Bibtex Entry:
@techreport{R63,
  Author =	 {Benzm{\"u}ller, Christoph and Farjami, Ali and
                  Parent, Xavier},
  Keywords =	 {own, Higher Order Logic, Deontic Logic, Automated
                  Reasoning, Universal Reasoning},
  Title =	 {Faithful Semantical Embedding of a Dyadic Deontic
                  Logic in {HOL}},
  Institution =	 {CoRR},
  Note =	 {\url{https://arxiv.org/abs/1802.08454}},
  Url =		 {https://arxiv.org/abs/1802.08454},
  Year =	 2018
}
Powered by bibtexbrowser