Propositional Quantifiers in Deontic Logic.

Gert-Jan C. Lokhorst

Published in: DEON (2006)

Keyphrases

deontic logic
first order logic
inference rules
propositional logic
nonmonotonic logics
knowledge representation language
formal semantics
legal reasoning
update semantics
theorem proving
default logic
horn clauses
incomplete information
multi valued
probabilistic reasoning
knowledge representation