Abstract
Two types of game structures for logics of ability have been proposed: Concurrent game structures and models of propositional control. The former takes an abstract view and can be used for general purposes; the latter is a restriction but is much easier for implementation. We present a game structure in between namely a declaration structure. A cooperation logic based on declaration structures is given. We present its deductive system and algorithms for model checking and satisfiability checking.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of ACM 49(5), 672–713 (2002)
Blackburn, P., Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)
Gerbrandy, J.: Logics of propositional control. In: Proceedings of the 5th international conference on Autonomous agents and multiagent systems (2006)
Goranko, V., Jamroga, W.: Comparing semantics of logics for multi-agent systems. Synthese 139(2), 241–280 (2004)
Oravec, V., Fogel, J.: Coalition logic of propositional control based multi agent system modeling. In: Proceedings of 3rd IEEE International Conference on Mechatronics (2006)
Pauly, M.: Logic for social software, Ph.D. Thesis, University of Amsterdam (2001)
Sauro, L., Gerbrandy, J., van der Hoek, W., Wooldridge, M.: Reasoning about action and cooperation. In: Proceedings of the 5th international conference on Autonomous agents and multiagent systems (2006)
Troquard, N., van der Hoek, w., Wooldridge, M.: A logic of games and propositional control. In: Proceedings of the 8rd international conference on Autonomous agents and multiagent systems (2009)
van der Hoek, W., Wooldridge, M.: On the logic of cooperation and propositional control. Artificial Intelligence 164, 81–119 (2005)
van der Hoek, W., Wooldridge, M.: On the synamics of delegation, cooperation, and control: a logical account. In: Proceedings of the 4th international conference on Autonomous agents and multiagent systems (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liu, H. (2009). A Cooperation Logic for Declaration Structures. In: He, X., Horty, J., Pacuit, E. (eds) Logic, Rationality, and Interaction. LORI 2009. Lecture Notes in Computer Science(), vol 5834. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04893-7_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-04893-7_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04892-0
Online ISBN: 978-3-642-04893-7
eBook Packages: Computer ScienceComputer Science (R0)