Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL (bibtex)
by Christoph Benzmüller, Ali Farjami, Xavier Parent, Leon van der Torre
Reference:
Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent, Leon 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, Leon},
  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,
  OPTurl =		 {http://christoph-benzmueller.de/papers/W59.pdf},
  Keywords =	 {own, Dyadic Logic, Higher-Order Logic},
}
Powered by bibtexbrowser