Ron van der Meyden. The Dynamic Logic of Permission. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA. pages 72-78, IEEE Computer Society, 1990.
@inproceedings{Meyden90:0,
title = {The Dynamic Logic of Permission},
author = {Ron van der Meyden},
year = {1990},
tags = {logic},
researchr = {https://researchr.org/publication/Meyden90%3A0},
cites = {0},
citedby = {0},
pages = {72-78},
booktitle = {Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA},
publisher = {IEEE Computer Society},
}