EasyChair Smart Slide
Åqvist's Dyadic Deontic Logic E in HOL
Åqvist's Dyadic Deontic Logic E in HOL