1 paper · 1 filter
Christoph Benzmüller, Ali Farjami, Xavier Parent
A shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in classical higher-order logic is presented. This embedding is proven sound and complete, that is, fait…