Title data
Dong, Huimin ; Roy, Olivier:
Dynamic Logic of Power and Immunity.
In: Baltag, Alexandru ; Seligman, Jeremy ; Yamada, Tomoyuki
(ed.):
Logic, Rationality, and Interaction. -
Berlin
: Springer
,
2017
. - pp. 123-136
. - (Lecture Notes in Computer Science
; 10455
)
ISBN 978-3-662-55665-8
DOI: https://doi.org/10.1007/978-3-662-55665-8_9
Project information
Project title: |
Project's official title Project's id Permissions, Information and Institutional Dynamics, Obligations, and Rights -- PIOTR RO 4548/4-1 The MOE Project of Key Research Institute of Humanities and Social Sciences in Universities 12JJD720005 China Scholarship Council grant CSC No. 201306380078 |
---|---|
Project financing: |
Deutsche Forschungsgemeinschaft The research reported in this paper has been supported by the PIOTR project (RO 4548/4-1] of the German Research Foundation (DFG). The first author is supported by the MOE Project of Key Research Institute of Humanities and Social Sciences in Universities [No. 12JJD720005], by the China Scholarship Council grant [CSC No. 201306380078], and by the Chair of Philosophy I, Universität Bayreuth. |
Abstract in another language
We present a dynamic logic for modelling legal competences, and in particular for the Hohfeldian categories of power and immunity. We argue that this logic improves on existing models by explicitly capturing the norm-changing character of legal competences, while at the same time providing a sophisticated reduction of the latter to static normative positions. The logic is shown to be completely axiomatizable; an analysis of its resulting dynamic normative positions is provided; and it is finally applied to a concrete case in German contract law to illustrate how the logic can distinguish legal ability and legal permissibility.
Further data
Item Type: | Article in a book |
---|---|
Refereed: | Yes |
Institutions of the University: | Faculties > Faculty of Cultural Studies > Department of Philosophy > Chair Philosophy I > Chair Philosophy I - Univ.-Prof. Dr. Olivier Roy Faculties Faculties > Faculty of Cultural Studies Faculties > Faculty of Cultural Studies > Department of Philosophy Faculties > Faculty of Cultural Studies > Department of Philosophy > Chair Philosophy I |
Result of work at the UBT: | Yes |
DDC Subjects: | 000 Computer Science, information, general works > 004 Computer science 100 Philosophy and psychology 100 Philosophy and psychology > 100 Philosophy 100 Philosophy and psychology > 160 Logic |
Date Deposited: | 13 Dec 2017 09:34 |
Last Modified: | 08 Dec 2022 08:57 |
URI: | https://eref.uni-bayreuth.de/id/eprint/40919 |