A logic for strategic reasoning
- 25 July 2005
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 157-164
- https://doi.org/10.1145/1082473.1082497
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Comparing Semantics of Logics eor Multi-Agent SystemsSynthese, 2004
- Alternating-time temporal logicJournal of the ACM, 2002
- A Modal Logic for Coalitional Power in GamesJournal of Logic and Computation, 2002
- A Logic for Suspicious Players: Epistemic Actions and Belief–Updates in GamesBulletin of Economic Research, 2002
- Extensive Games as Process ModelsJournal of Logic, Language and Information, 2002
- Games in Dynamic‐Epistemic LogicBulletin of Economic Research, 2001
- Branching Time, Perfect Information Games, and Backward InductionGames and Economic Behavior, 2001
- Fast planning through planning graph analysisArtificial Intelligence, 1997
- Knowledge, Belief and Counterfactual Reasoning in GamesEconomics and Philosophy, 1996
- Commitments and conventions: The foundation of coordination in multi-agent systemsThe Knowledge Engineering Review, 1993