Normative Conflicts in a Dynamic Logic of Norms and Codes.

Ilaria Canavotto Alessandro Giordani

Published in: DEON (2018)

Keyphrases

dynamic logic
normative systems
multi agent systems
modal logic
electronic institutions
error correction
reasoning about actions
logical framework
cooperative
conflict resolution
imperative programs
agent programming
resolving conflicts
classical first order logic
error correcting codes