Dynamic logic of legal competences

DOI10.1007/S10849-021-09340-ZMaRDI QIDQ2071574zbMATH OpenOpenAlexFDO

Authors Huimin Dong, Olivier Roy

Publication date 28 January 2022

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2110.04454

zbMATH Keywords

dynamic logicHohfeldian rightsimmunitylogic and lawpower

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Abstract: We propose a new formalization of legal competences, and in particular for the Hohfeldian categories of power and immunity, through a deontic reinterpretation of dynamic epistemic logic. We argue that this logic explicitly captures the norm-changing character of legal competences while providing a sophisticated reduction of the latter to static normative positions. The logic is completely axiomatizable, and we apply it to a concrete case in German contract law to illustrate that it can capture the distinction between legal ability and legal permissibility.

Recommendations

• Dynamic logic of power and immunity
• A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
• A formal, diagrammatic, and operational study of normative relations
• D{\(\Delta\)}L: a dynamic deontic logic
• Dynamic Context Logic

Cites work

• A computational theory of normative positions
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• A dynamic logic of institutional actions
• A qualitative theory of dynamic interactive belief revision
• Agency and deontic logic
• An Analysis of some Deontic Logics
• Classificatory Aspects of Counts-as: An Analysis in Modal Logic
• Deontic modals: why abandon the default approach
• Deontics = Betterness + Priority
• Dynamic epistemic logic
• Dynamic logic of power and immunity
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 928022 (Why is no real title available?)
• Law and logic
• Logical dynamics of information and interaction
• Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition
• Normative positions
• On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl
• Quick completeness proofs for some logics of conditionals
• Semantic results for ontic and epistemic change
• Time and modality in the logic of agency
• Understanding Hohfeld and formalizing legal rights: the Hohfeldian conceptions and their conditional consequences

Cited in

(4)

• Dynamic logic of power and immunity
• Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base
• Modeling legal conflict resolution based on dynamic logic
• A logical model of private international law

This page was built for publication: Dynamic logic of legal competences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2071574)