PDL as a Multi-Agent Strategy Logic

Jan van Eijck. PDL as a Multi-Agent Strategy Logic. In Burkhard C. Schipper, editor, Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013. 2013. [doi]

@inproceedings{Eijck13,
  title = {PDL as a Multi-Agent Strategy Logic},
  author = {Jan van Eijck},
  year = {2013},
  url = {http://www.tark.org/proceedings/tark_jan7_13/p206-van-eijck.pdf},
  researchr = {https://researchr.org/publication/Eijck13},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7-9, 2013},
  editor = {Burkhard C. Schipper},
  isbn = {978-0-615-74716-3},
}