Fifth Annual IEEE Symposium on

Logic in Computer Science (LICS 1990)

Paper: The dynamic logic of permission (at LICS 1990)

Authors: van der Meyden, R.


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


    author = 	 {van der Meyden, R.},
    title = 	 {The dynamic logic of permission},
    booktitle =  {Proceedings of the Fifth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1990},
    year =	 1990,
    editor =	 {John Mitchell},
    month =	 {June}, 
    pages =      {72--78},
    location =   {Philadelphia, PA, USA}, 
    publisher =	 {IEEE Computer Society Press}