DΔL: a dynamic deontic logic.

Krister Segerberg

Published in: Synth. (2012)

Keyphrases

deontic logic
information systems
object oriented
dynamic environments
inference rules
update semantics