Keyword:classical higher-order logic

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