The Dynamic Logic of Permission

Reasoning about permissions and obligations sometimes requires to distinguish more than one level of permission: certain actions are preferable to others, or one has more confidence in one type of action achieving the same goal than in other. We give a logic handling this type of ramification, and present a complete axiomatization. The recent work offers an extension of the Dynamic Logic of Permission defined by Meyden [3], where a two-level system was presented. We also prove a separation theorem for the multi-level permission formulas.

• Type: Conference
• Year: 1990
• Where: LICS
• Authors: Ron van der Meyden
• Keywords: Automated Reasoning, Certain Actions, Complete Axiomatization, LICS 1990, Multi-level Permission Formulas