The Dynamic Logic of Permission

13 years 1 months ago
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.
Ron van der Meyden
Added 11 Aug 2010
Updated 11 Aug 2010
Type Conference
Year 1990
Where LICS
Authors Ron van der Meyden
Comments (0)