A Dyadic Deontic Logic in HOL.

Christoph Benzmüller Ali Farjami Xavier Parent

Published in: DEON (2018)

Keyphrases

deontic logic
theorem prover
knowledge representation language
inference rules
formal methods
legal reasoning
natural deduction
formal semantics
update semantics
theorem proving
higher order logic
nonmonotonic logics
automated reasoning
life cycle
graphical models
relational databases
training data