Eprints of Rényi Institute

Multi-level permission

Csirmaz, László (2009) Multi-level permission. Journal of Logic and Computation . (Submitted)



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, where a two-level system was presented. We also prove a separation theorem for the multi-level permission formulas.

Item Type:Article
Keywords and phrases:Dynamic logic; deontic logic; Kripke-model; axiomatization; logic of permission
Subjects:03B42 Logic of knowledge and belief
03B45 Modal logic
Divisions:Research Groups > Theoretical cryptography
Last Modified:18 Aug 2009 11:01

Repository Staff Only: item control page