S5 as a Deontic Logic.

Published in: DEON (2018)

Keyphrases

deontic logic
knowledge representation language
legal reasoning
update semantics
nonmonotonic logics
inference rules
information systems
training data
fine grained
formal semantics
case based reasoning
software development
belief revision