Dynamic Logic of Power and Immunity

Titelangaben

Dong, Huimin ; Roy, Olivier:
Dynamic Logic of Power and Immunity.
In: Baltag, Alexandru ; Seligman, Jeremy ; Yamada, Tomoyuki (Hrsg.): Logic, Rationality, and Interaction. - Berlin : Springer , 2017 . - S. 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

Angaben zu Projekten

Abstract

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.