Keyword:Dyadic deontic logic E

Publications
Åqvist's Dyadic Deontic Logic E in HOL Christoph Benzmüller, Ali Farjami and Xavier Parent EasyChair Preprint 554