This page shows all presentations of this author published in EasyChair Smart Slide.
Åqvist's Dyadic Deontic Logic E in HOL
Christoph Benzmuller, Ali Farjami and Xavier Parent