Dynamic Logic of Legal Competences

10/09/2021
by   Huimin Dong, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/13/2021

Ergo – a programming language for Smart Legal Contracts

We present a smart legal contract platform to support a wide range of sm...
research
03/20/2018

On How Kelsenian Jurisprudence and Intuitionistic Logic help to avoid Contrary-to-Duty paradoxes in Legal Ontologies

In this article we show how Hans Kelsen jurisprudence and Intuitionistic...
research
03/10/2016

The Algorithm of Islamic Jurisprudence (Fiqh) with Validation of an Entscheidungsproblem

The historic background of algorithmic processing with regard to etymolo...
research
12/06/2022

Formal Modeling and Analysis of Legal Contracts using ContractCheck

We describe a method and tool called ContractCheck that allows for the c...
research
06/29/2023

Beyond Logic Programming for Legal Reasoning

Logic programming has long being advocated for legal reasoning, and seve...
research
08/10/2021

Crowdsourced Databases and Sui Generis Rights

In this study we propose a new concept of databases (crowdsourced databa...

Please sign up or login with your details

Forgot password? Click here to reset