We use propositional dynamic logic and ideas about propositional con- trol from the agency literature to construct a formal model of how legal relations interact with actions that change the world, and with actions that change the legal relations. Our conceptual model also allows us to study the interplay of obligation, knowledge, and ignorance, and to model knowledge based obligation.

Additional Metadata
Conference Conference on Logic and the Foundations of Game and Decision Theory
Citation
van Eijck, D.J.N, & Ju, F. (2016). Modelling legal relations. In Online proceedings of LOFT 2016.