Reasoning about Joint Action and Coalitional Ability in Kn with Intersection
In this paper we point out that standard pdl-like logics with intersection are useful for reasoning about game structures. In particular, they can express coalitional ability operators known from coalition logic and atl. An advantage of standard, normal, modal logics is a well understood theoretical foundation and the availability of tools for automated verification and reasoning. We study a minimal variant, multi-modal K with intersection of modalities, interpreted over models corresponding to game structures. There is a restriction: we consider only game structures that are injective. We give a complete axiomatisation of the corresponding models, as well as a characterisation of key complexity problems. We also prove a representation theorem identifying the effectivity functions corresponding to injective games.
KeywordsModel Check Modal Logic Joint Action Multiagent System Effectivity Function
Unable to display preview. Download preview PDF.
- 1.Ågotnes, T., Goranko, V., Jamroga, W.: Alternating-time temporal logics with irrevocable strategies. In: Samet, D. (ed.) Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI), June 2007, pp. 15–24. Presses Universitaires de Louvain, Brussels, Belgium (2007)CrossRefGoogle Scholar
- 4.Broersen, J., Herzig, A., Troquard, N.: A normal simulation of coalition logic and an epistemic extension. In: Samet, D. (ed.) Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, pp. 92–101 (2007)Google Scholar
- 6.Gargov, G., Passy, S.: A note on boolean modal logic. In: Proc. of The Summer School and Conf. on Mathematical Logic ”Heyting 1988”, pp. 311–321. Plenum Press, New York (1988)Google Scholar
- 7.Goranko, V.: Coalition games and alternating temporal logics. In: Proceeding of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK VIII), pp. 259–272. Morgan Kaufmann, San Francisco (2001)Google Scholar
- 8.Goranko, V., Jamroga, W., Turrini, P.: Strategic games and truly playable effectivity functions. In: Tumer, Yolum, Sonenberg, Stone (eds.) Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, pp. 727–734 (2011)Google Scholar
- 15.van Benthem, J.: Games in dynamic-epistemic logic. Bulletin of Economic Research 53(4), 219–248 (2001)Google Scholar
- 17.van der Hoek, W., Pauly, M.: Modal logic for games and information. In: van Benthem, J., Blackburn, P., Wolter, F. (eds.) The Handbook of Modal Logic, pp. 1152–1180. Elsevier, Amsterdam (2006)Google Scholar