Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL.

Christoph Benzmüller Ali Farjami Xavier Parent

Published in: CoRR (2018)

Keyphrases

deontic logic
knowledge representation language
theorem prover
inference rules
legal reasoning
nonmonotonic logics
update semantics
vector space
theorem proving
formal methods
formal semantics
classical logic
training data
case based reasoning
data hiding
higher order logic