2016-06-18
Modelling legal relations
Publication
Publication
Presented at the
Conference on Logic and the Foundations of Game and Decision Theory (July 2016), Maastricht, The Netherlands
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 on Logic and the Foundations of Game and Decision Theory | |
| Organisation | Software Analysis and Transformation |
|
van Eijck, J., & Ju, F. (2016). Modelling legal relations. In Online proceedings of LOFT 2016. |
|