Keyword:classical higher-order logic

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