Possible World Semantics for Defeasible Deontic Logic.

Guido Governatori Antonino Rotolo Erica Calardo

Published in: DEON (2012)

Keyphrases

deontic logic
knowledge representation language
legal reasoning
update semantics
computational properties
nonmonotonic logics
inference rules
formal semantics
defeasible reasoning