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]

Abstract

Abstract is missing.