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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.