A dynamic logic of normative systems
Andreas Herzig, Emiliano Lorini, Frédéric Moisan and Nicolas Troquard
We propose a logical framework to represent and reason about agent interactions in normative systems. Our starting point is a dynamic logic of propositional assignments having special propositional variables denoting the practical possibilities (alias abilities) and the legal possibilities (alias permissions) of agents. We show that the satisfiability problem of the logic is PSPACE complete and that it embeds Coalition Logic of Propositional Control CL-PC. We demonstrate it on a case study of water resource management. Finally, we show how the logic can be easily extended in order to represent constitutive rules which are also an essential component of the modelling of social reality.