A logic for strategic reasoning

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue , 2005, Pages 305-312

  Van Der Hoek, Wiebe ^a   Jamroga, Wojciech ^b   Wooldridge, Michael ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Game theory; Modal logic; Multi agent systems; Strategic reasoning

Indexed keywords

AUTONOMOUS AGENTS; GAME THEORY; MODAL ANALYSIS; MULTI AGENT SYSTEMS;

MODAL LOGIC; NASH EQUILIBRIUM; STRATEGIC REASONING;

FORMAL LOGIC;

EID: 33644812807     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time Temporal Logic. In Proceedings of FOCS, pages 100-109, 1997.
2. R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. Journal of the ACM, 49(5):672-713, September 2002.
3. A. Baltag. A logic for suspicious players. Bulletin of Economic Research, 54(1):1-46, 2002.
4. J. van Benthem. Games in dynamic epistemic logic. Bulletin of Economic Research, 53(4):219-248, 2001. Proceedings of LOFT-4.
5. J. van Benthem. Extensive games as process models. Journal of Logic, Language, and Information, 11(3):289-313, 2002.
6. A. L. Slum and M. L. Furst. Fast planning through graph analysis. Artificial Intelligence, 90:281-300, 1997.
7. G. Bonanno. Branching time logic, perfect information games and backward induction. Games and Economic Behavior, 36(1):57-73, July 2001.
8. G. van Drimmelen. Satisfiability in alternating-time temporal logic. In. Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2003), pages 208-217, Ottawa, Canada, 2003.
9. E. A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science Volume B: Formal Models and Semantics, pages 996-1072. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1990.
10. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y Vardi. Reasoning About Knowledge. The MIT Press: Cambridge, MA, 1995.
11. V. Goranko and W. Jamroga. Comparing semantics of logics for multi-agent systems. Synthese, 139(2):241-280, 2004.
12. D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. The MIT Press: Cambridge, MA, 2000.
13. P. Harrenstein, W. van der Hoek, J.-J Meyer, and C. Witteveen. On modal logic interpretations for games. In Proceedings of the Fifteenth European Conference on Artificial Intelligence (ECAI-2002), pages 28-32, Lyon, France, 2002.
14. W. van der Hoek, M. Roberts, and M. Wooldridge. Social laws in alternating time: Effectiveness, feasibility and synthesis. Synthese, 2005.
15. W. Jamroga, W. van der Hoek, and M. Wooldridge. Intentions and strategies in game-like scenarios. Technical Report IfI-05-08, Clausthal University of Technology, 2005.
16. N. R. Jennings. Commitments and conventions: The foundation of coordination in multi-agent systems. The Knowledge Engineering Review, 8(3):223-250, 1993.
17. D. Lewis. Counterfactuals. Blackwells: Oxford, 1973.
18. M. J. Osborne and A. Rubinstein. A Course in Game Theory. The MIT Press: Cambridge, MA, 1994.
19. M. Pauly. A modal logic for coalitional power in games. Journal of Logic and Computation, 12(1):149-166, 2002.
20. A.S. Rao and M.P. Georgeff. Modeling rational agents within a BDI-architecture. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pages 473-484, 1991.
21. P. Y. Schobbens. Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science, 85(2), 2004.
22. R. Stalnaker. Knowledge, belief and counterfactual reasoning in games. Economics and Philosophy, 12:133-163, 1996.
23. S. van Otterloo, W. van der Hoek, and M. Wooldridge. Preferences in game logics. In Proceedings of AAMAS-04, 2004.
24. M. Wooldridge. Reasoning about Rational Agents. The MIT Press: Cambridge, MA, 2000.