Dynamic Logic of Power and Immunity
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.
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.
- 3.Boutilier, C.: Toward a logic for qualitative decision theory. KR 94, 75–86 (1994)Google Scholar
- 5.Dong, H.: Permission in Non-Monotonic Normative Reasoning. PhD thesis, Universität Bayreuth (2017)Google Scholar
- 14.Sergot, M.: Normative positions. In: Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems, vol. 1. College Publication, London (2013)Google Scholar
- 16.van Benthem, J.: Modal Logic for Open Minds. Center for the Study of Language and Information (CSLI), California (2010)Google Scholar
- 20.van Benthem, J., van Otterloo, S., Roy, O.: Preference logic, conditionals, and solution concepts in games. In: Festschrift for Krister Segerberg (2005)Google Scholar