Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL (bibtex)
by Christoph Benzmüller, Ali Farjami, Xavier Parent, Leendert van der Torre
Reference:
Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent, Leendert van der Torre), In Workshop on Computational Aspects of Arguments and LogiC (CAALC 2017), 2017.
Bibtex Entry:
@inproceedings{W59,
  Address =	 {Belgrade, Serbia},
  author =	 {Benzm{\"u}ller, Christoph and Farjami, Ali and
                  Parent, Xavier and van der Torre, Leendert},
  title =	 {Implementation of Carmo and Jones Dyadic Deontic
                  Logic in Isabelle/HOL},
  booktitle =	 {Workshop on Computational Aspects of Arguments and
                  LogiC (CAALC 2017)},
  year =	 2017,
  url =		 {http://christoph-benzmueller.de/papers/W59.pdf},
  Keywords =	 {own, Dyadic Logic, Higher-Order Logic},
}
Powered by bibtexbrowser