Unpublished conference/Abstract (Scientific congresses, symposiums and conference proceedings)Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier et al.
2017 • Workshop on Computational Aspects of Arguments and LogiC (CAALC 2017)