Search: C71
2018
[1]A Dyadic Deontic Logic in HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), In Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018 (Jan Broersen, Cleo Condoravdi, Shyam Nair, Gabriella Pigozzi, eds.), College Publications, volume 9706, pp. 33-50, 2018. (John-Jules Meyer Best Paper Award, Preprint: https://tinyurl.com/y9wp4p6s) [bibtex]