Sciweavers

LICS   1990 Symposium on Logic in Computer Science
Wall of Fame | Most Viewed LICS-1990 Paper
LICS
1990
IEEE
13 years 8 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 confiden...
Ron van der Meyden
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source144
2Download preprint from source117
3Download preprint from source85
4Download preprint from source81
5Download preprint from source73
6Download preprint from source66