Login / Signup

A complete axiom set for Hansson's deontic logic DSDL2.

Xavier Parent
Published in: Log. J. IGPL (2010)
Keyphrases
  • deontic logic
  • small number
  • propositional logic
  • artificial intelligence
  • case based reasoning
  • general purpose
  • inference rules