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 is permitted if and only if every token of 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