Zilu Wang, Yanjing Wang
Proceedings of DEON 2023
Publication year: 2023

In this paper, we introduce a novel framework for deontic logic of strong permission that accommodates free choice. Our approach treats permission as a bundled modality, which combines a universal quantifier with a possibility modality such that an action type \alpha is permitted if and only if every token of \alpha can be executed in some deontically ideal world. Our formalization of action tokens and their types is inspired by the BHK-style interpretation for intuitionistic logic. We axiomatize the logics of strong permission under various conditions. In addition to satisfying the desirable logical requirements found in the literature, our framework also predicts interesting new phenomena related to permission and distribution laws that align with our linguistic intuition.

Leave a Reply

Your email address will not be published. Required fields are marked *