Login / Signup

On the Strong Completeness of Åqvist's Dyadic Deontic Logic G.

Xavier Parent
Published in: DEON (2008)
Keyphrases
  • deontic logic
  • knowledge representation language
  • legal reasoning
  • update semantics
  • nonmonotonic logics
  • artificial intelligence
  • high level
  • life cycle
  • formal semantics