Dynamic Logic of Legal Competences

نویسندگان

چکیده

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

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Dynamic Competences and Firm Performance

Interim Reports on work of the International Institute for Applied Systems Analysis receive only limited review. Views or opinions expressed herein do not necessarily represent those of the Institute, its National Member Organizations, or other organizations supporting the work.

متن کامل

Using dynamic logic programming to model legal reasoning

Dynamic logic programming allows the representation and the inference of evolving knowledge. Legal knowledge reasoning needs the capability to model laws that change over time and to model laws produced by distinct entities with different priorities at different time points. In this paper we propose the use of dynamic logic programming to model these legal dynamic situations. Some examples are ...

متن کامل

dynamic coloring of graph

در این پایان نامه رنگ آمیزی دینامیکی یک گراف را بیان و مطالعه می کنیم. یک –kرنگ آمیزی سره ی رأسی گراف g را رنگ آمیزی دینامیکی می نامند اگر در همسایه های هر رأس v?v(g) با درجه ی حداقل 2، حداقل 2 رنگ متفاوت ظاهر شوند. کوچکترین عدد صحیح k، به طوری که g دارای –kرنگ آمیزی دینامیکی باشد را عدد رنگی دینامیکی g می نامند و آنرا با نماد ?_2 (g) نمایش می دهند. مونت گمری حدس زده است که تمام گراف های منتظم ...

15 صفحه اول

Intuitionistic Logic and Legal Ontologies

This paper briefly shows how Intuitionistic Description Logic can be considered a good alternative to classical ALC as far as formalizing legal knowledge is concerned.

متن کامل

Changing legal systems: legal abrogations and annulments in Defeasible Logic

In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in similar rule-based systems, ideas from belief and base revision. In both cases, our conclusion is negative, which suggests to adopt a different logical model. This model expresses temporal aspects of legal rules, and dist...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Logic, Language and Information

سال: 2021

ISSN: ['1572-9583', '0925-8531']

DOI: https://doi.org/10.1007/s10849-021-09340-z