Type: Misc
2018
[3]I/O Logic in HOL (Ali Farjami, Paul Meder, Xavier Parent, Christoph Benzmüller), MIREL 2018 workshop on MIning and REasoning with Legal texts, 2018. (Url (preprint): http://orbilu.uni.lu/handle/10993/37013) [bibtex]
[2]Aqvist's Dyadic Deontic Logic E in HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), MIREL 2018 workshop on MIning and REasoning with Legal texts, 2018. (Url (preprint): http://orbilu.uni.lu/handle/10993/37014) [bibtex]
2014
[1]Modal Logic in Coq and Scott's Version of Gödel's Proof of God's Existence (Rough Diamond Proof Pearl) (Christoph Benzmüller, Bruno Woltzenlogel Paleo), 2014. ((Non-reviewed, superseded by CSR-2015 paper)) [bibtex]
Powered by bibtexbrowser