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

Authors: Ron van der Meyden

Abstract

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

BibTeX

  @InProceedings{vanderMeyden-Thedynamiclogicofpe,
    author = 	 {Ron van der Meyden},
    title = 	 {The dynamic logic of permission},
    booktitle =  {Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science (LICS 1990)},
    year =	 {1990},
    month =	 {June}, 
    pages =      {72--78},
    location =   {Philadelphia, PA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }