Modelling legal relations
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.
|Conference on Logic and the Foundations of Game and Decision Theory|
|Organisation||Software Analysis and Transformation|
van Eijck, D.J.N, & Ju, F. (2016). Modelling legal relations. In Online proceedings of LOFT 2016.