A Complete and Compact Propositional Deontic Logic.

Pablo F. Castro T. S. E. Maibaum

Published in: ICTAC (2007)

Keyphrases

deontic logic
knowledge representation language
propositional logic
linearly ordered
artificial intelligence
first order logic
inference rules
legal reasoning
general purpose
graphical models
software development
model checking
horn clauses
propositional variables