åqvist's Dyadic Deontic Logic E in HOL.

Christoph Benzmüller Ali Farjami Xavier Parent

Published in: FLAP (2019)

Keyphrases

deontic logic
theorem prover
inference rules
natural deduction
knowledge representation language
formal methods
legal reasoning
update semantics
theorem proving
nonmonotonic logics
higher order logic
formal semantics
relational databases