Tim Miller, Peter McBurney. Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols. Computational Intelligence, 27(3):422-457, 2011. [doi]
@article{MillerM11-2,
title = {Propositional Dynamic Logic for Reasoning about First-Class Agent Interaction Protocols},
author = {Tim Miller and Peter McBurney},
year = {2011},
doi = {10.1111/j.1467-8640.2011.00387.x},
url = {http://dx.doi.org/10.1111/j.1467-8640.2011.00387.x},
researchr = {https://researchr.org/publication/MillerM11-2},
cites = {0},
citedby = {0},
journal = {Computational Intelligence},
volume = {27},
number = {3},
pages = {422-457},
}