Keywords: Higher-Order Logic
2017
[1]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]
Powered by bibtexbrowser