Implementation of Dyadic Deontic Logic E in Isabelle/HOL (bibtex)
by Christoph Benzmüller, Ali Farjami, Xavier Parent
Reference:
Implementation of Dyadic Deontic Logic E in Isabelle/HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), 2018. (Url (preprint): http://christoph-benzmueller.de/papers/R58.pdf)
Bibtex Entry:
@unpublished{R70,
  Author =	 {Benzm{\"u}ller, Christoph and Farjami, Ali and
                  Parent, Xavier},
  Keywords =	 {own, Higher Order Logic, Deontic Logic, Automated
                  Reasoning, Universal Reasoning},
  Note =	 {10th edition of PhDs in Logic, Institute of
                  Philosophy of the Czech Academy of Sciences, Prague
                  on May 1–4 2018},
  Title =	 {Implementation of Dyadic Deontic Logic E in
                  Isabelle/HOL},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/R58.pdf}},
  Year =	 2018,
}
Powered by bibtexbrowser