Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL

arXiv1802.08454MaRDI QIDQ6298143

Christoph Benzmüller, Xavier Parent, Ali Farjami

Publication date: 23 February 2018

Has companion code repository: https://github.com/leoprover/ddl2thf

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

This page was built for publication: Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL