Back to Search
Start Over
Modeling dynamics of legal relations with dynamic logic.
- Source :
- Journal of Logic & Computation; Mar2024, Vol. 34 Issue 2, p372-398, 27p
- Publication Year :
- 2024
-
Abstract
- The fundamental relations in private law are claims and duties. These legal relations can be changed by agents with the appropriate legal powers. We use propositional dynamic logic and ideas about propositional control from the agency literature to formalize these changes in legal relations. Our models are sets of states with functions specifying atomic facts, agents' abilities to change atomic facts, legal relations between agents concerning changing atomic facts and agents' powers. We present a formal language that allows us to describe models and changes of models caused by two kinds of actions: actions that change atomic facts and actions that change legal relations. Next, we present a sound and complete calculus for this language. The paper demonstrates that the perspective on actions borrowed from computer science can be used to shed interesting light on the dynamics of legal relations. [ABSTRACT FROM AUTHOR]
- Subjects :
- PROPOSITION (Logic)
LOGIC
FORMAL languages
SET functions
DYNAMICS
CHANGE agents
Subjects
Details
- Language :
- English
- ISSN :
- 0955792X
- Volume :
- 34
- Issue :
- 2
- Database :
- Complementary Index
- Journal :
- Journal of Logic & Computation
- Publication Type :
- Academic Journal
- Accession number :
- 175800585
- Full Text :
- https://doi.org/10.1093/logcom/exac055