The dynamic logic of permission
Ron van der Meyden · 2002
Intelligent legal information systems require the ability to represent two different notions of permission, one of which, free choice permission, cannot be adequately represented in standard modal logics. A logic that handles this modality by using ideas from dynamic logic is defined. The main result is the completeness of an axiomatization of the logic.>