{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:25:22Z","timestamp":1762100722726,"version":"build-2065373602"},"reference-count":107,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780444516909"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1016\/s1570-2464(07)80023-1","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T09:38:50Z","timestamp":1191490730000},"page":"1077-1148","source":"Crossref","is-referenced-by-count":32,"title":["20 Modal logic for games and information"],"prefix":"10.1016","member":"78","reference":[{"year":"1991","series-title":"Effectivity Functions in Social Choice","author":"Abdou","key":"10.1016\/S1570-2464(07)80023-1_bib1"},{"key":"10.1016\/S1570-2464(07)80023-1_bib2","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","article-title":"On the logic of theory change: partial meet contraction and revision functions","volume":"50","author":"Alchourr\u00f6n","year":"1985","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80023-1_bib3","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/585265.585270","article-title":"Alternating-time temporal logic","volume":"49","author":"Alur","year":"2002","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1570-2464(07)80023-1_bib4","series-title":"Game Theory","first-page":"1","article-title":"Game theory","author":"Aumann","year":"1997"},{"key":"10.1016\/S1570-2464(07)80023-1_bib5","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s001820050111","article-title":"Interactive epistemology I: Knowledge","volume":"28","author":"Aumann","year":"1999","journal-title":"International Journal of Game Theory"},{"key":"10.1016\/S1570-2464(07)80023-1_bib6","doi-asserted-by":"crossref","first-page":"1161","DOI":"10.2307\/2171725","article-title":"Epistemic conditions for Nash equilibrium","volume":"63","author":"Aumann","year":"1995","journal-title":"Econometrica"},{"issue":"2","key":"10.1016\/S1570-2464(07)80023-1_bib7","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","article-title":"Logics for epistemic programs","volume":"139","author":"Baltag","year":"2004","journal-title":"Synthese"},{"key":"10.1016\/S1570-2464(07)80023-1_bib8","series-title":"Proceedings of TARK","first-page":"43","article-title":"The logic of public announcements, common knowledge, and private suspicions","author":"A.","year":"1998"},{"key":"10.1016\/S1570-2464(07)80023-1_bib9","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1006\/reec.1999.0187","article-title":"Recent results on belief, knowledge and the epistemic foundations of game theory","volume":"53","author":"Battigalli","year":"1999","journal-title":"Research in Economics"},{"key":"10.1016\/S1570-2464(07)80023-1_bib10","series-title":"STAGS 2005","first-page":"97","article-title":"The variable hierarchy of the \u03bc-calculus is strict","author":"Berwanger","year":"2005"},{"year":"1992","series-title":"Fun and Games \u2014 A Text on Game Theory","author":"Binmore","key":"10.1016\/S1570-2464(07)80023-1_bib11"},{"year":"2001","series-title":"Modal Logic","author":"Blackburn","key":"10.1016\/S1570-2464(07)80023-1_bib12"},{"issue":"3","key":"10.1016\/S1570-2464(07)80023-1_bib13","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1017\/S1357530902000704","article-title":"Modal logic and game theory: Two alternative approaches","volume":"7","author":"Bonanno","year":"1902","journal-title":"Risk Decision and Policy"},{"key":"10.1016\/S1570-2464(07)80023-1_bib14","first-page":"281","article-title":"A characterisation of von neumann games in terms of memory","author":"Bonanno","year":"1904","journal-title":"Synthese"},{"key":"10.1016\/S1570-2464(07)80023-1_bib15","first-page":"193","article-title":"A simple modal logic for belief revision","author":"Bonanno","year":"1905","journal-title":"Synthese"},{"key":"10.1016\/S1570-2464(07)80023-1_bib16","series-title":"Fundamentals of Computation Theory, volume 56 of Lecture Notes in Computational Science","first-page":"367","article-title":"Using determinacy to eliminate quantifiers","author":"B\u00fcchi","year":"1977"},{"year":"1980","series-title":"Modal Logic \u2014 An Introduction","author":"Chellas","key":"10.1016\/S1570-2464(07)80023-1_bib17"},{"article-title":"Explaining Games- On the Logic of Game Theoretic Explanations","year":"2004","author":"de Bruin","key":"10.1016\/S1570-2464(07)80023-1_bib18"},{"key":"10.1016\/S1570-2464(07)80023-1_bib19","series-title":"Handbook of Theoretical Computer Science","first-page":"995","article-title":"Temporal and modal logic","author":"Emerson","year":"1990"},{"key":"10.1016\/S1570-2464(07)80023-1_bib20","series-title":"Proceedings of the 1998 Conference on Theoretical Aspects of Reasoning about Knowledge (TARK98)","first-page":"29","article-title":"Knowledge and the logic of local propositions","author":"Engelhardt","year":"1998"},{"year":"1995","series-title":"Reasoning About Knowledge","author":"Fagin","key":"10.1016\/S1570-2464(07)80023-1_bib21"},{"key":"10.1016\/S1570-2464(07)80023-1_bib22","series-title":"Proceedings of the 16th International conference on Computer Aided Verification (CAV 2004)","first-page":"479","article-title":"MCK: Model checking the logic of knowledge","author":"Gammie","year":"2004"},{"key":"10.1016\/S1570-2464(07)80023-1_bib23","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1023\/A:1008222603071","article-title":"Reasoning about information change","volume":"6","author":"Gerbrandy","year":"1997","journal-title":"Journal of Logic, Lan-guage, and Information"},{"issue":"4","key":"10.1016\/S1570-2464(07)80023-1_bib24","doi-asserted-by":"crossref","first-page":"388","DOI":"10.1016\/0022-0531(74)90111-2","article-title":"A Pareto-consistent libertarian claim","volume":"7","author":"Gibbard","year":"1974","journal-title":"Journal of Economic Theory"},{"issue":"2","key":"10.1016\/S1570-2464(07)80023-1_bib25","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1023\/A:1027311011342","article-title":"The basic algebra of game equivalences","volume":"75","author":"Goranko","year":"2003","journal-title":"Studia Logica"},{"issue":"1\u20133","key":"10.1016\/S1570-2464(07)80023-1_bib26","first-page":"93","article-title":"Decidability and complete axiomatization of the alternating-time temporal logic","volume":"353","author":"Goranko","year":"1906","journal-title":"Theoretical Computer Science"},{"year":"1995","series-title":"Limits to Parallel Computation: P- Completeness Theory","author":"Greenlaw","key":"10.1016\/S1570-2464(07)80023-1_bib27"},{"issue":"1","key":"10.1016\/S1570-2464(07)80023-1_bib28","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1016\/S0899-8256(02)00529-8","article-title":"A computer scientist looks at game theory","volume":"45","author":"Halpern","year":"1903","journal-title":"Games and Economic Behavior"},{"key":"10.1016\/S1570-2464(07)80023-1_bib29","series-title":"Proceedings 18th ACM Symposium on Theory of Computing","first-page":"304","article-title":"The complexity of reasoning about knowledge and time","author":"Halpern","year":"1986"},{"issue":"1","key":"10.1016\/S1570-2464(07)80023-1_bib30","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","article-title":"The complexity of reasoning about knowledge and time, I: Lower bounds","volume":"38","author":"Halpern","year":"1989","journal-title":"Journal of Computer and System Sciences"},{"issue":"3","key":"10.1016\/S1570-2464(07)80023-1_bib31","doi-asserted-by":"crossref","first-page":"674","DOI":"10.1137\/S0097539797320906","article-title":"Complete axiomatizations for reasoning about knowledge and time","volume":"33","author":"Halpern","year":"1904","journal-title":"SIAM Journal on Computing"},{"key":"10.1016\/S1570-2464(07)80023-1_bib32","series-title":"Logics in Artificial Intelligence","first-page":"394","article-title":"Axiomatising Nash-consistent coalition logic","author":"Hansen","year":"2002"},{"key":"10.1016\/S1570-2464(07)80023-1_bib33","series-title":"Handbook of Philosophical Logic","first-page":"497","article-title":"Dynamic logic","author":"Harel","year":"1984"},{"year":"2000","series-title":"Dynamic Logic","author":"Harel","key":"10.1016\/S1570-2464(07)80023-1_bib34"},{"issue":"2\u20134","key":"10.1016\/S1570-2464(07)80023-1_bib35","first-page":"281","article-title":"A modal characterization of Nash equilibrium","volume":"57","author":"Harrenstein","year":"1903","journal-title":"Fundamenta Informaticae"},{"year":"1962-2005","series-title":"Knowledge and Belief","author":"Hintikka","key":"10.1016\/S1570-2464(07)80023-1_bib36"},{"year":"1973","series-title":"Logic, Language Games and Information","author":"Hintikka","key":"10.1016\/S1570-2464(07)80023-1_bib37"},{"key":"10.1016\/S1570-2464(07)80023-1_bib38","series-title":"Model Checking Software, Proceedings of SPIN 2002 (LNCS Volume 2318)","first-page":"95","article-title":"Model checking knowledge and time","author":"van der Hoek","year":"2002"},{"issue":"2\u20133","key":"10.1016\/S1570-2464(07)80023-1_bib39","first-page":"185","article-title":"Agents that know how to play","volume":"63","author":"Jamroga","year":"2004","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S1570-2464(07)80023-1_bib40","first-page":"268","article-title":"Safety and liveness properties: A survey","volume":"53","author":"Kindler","year":"1994","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"10.1016\/S1570-2464(07)80023-1_bib41","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","article-title":"Results on the propositional \u03bc-calculus","volume":"27","author":"Kozen","year":"1983","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1570-2464(07)80023-1_bib42","series-title":"Contributions to the Theory of Games, Volume II","first-page":"193","article-title":"Extensive games and the problem of information","author":"Kuhn","year":"1953"},{"key":"10.1016\/S1570-2464(07)80023-1_bib43","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1977.229904","article-title":"Proving the correctness of multiprocess programs","author":"Lamport","year":"1977","journal-title":"IEEE Transactions on Software Engineering, SE-3 (2)"},{"issue":"4","key":"10.1016\/S1570-2464(07)80023-1_bib44","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1093\/logcom\/12.4.623","article-title":"Model checking games for branching time logics","volume":"12","author":"Lange","year":"2002","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1570-2464(07)80023-1_bib45","unstructured":"Logic and the foundations of game and decision theory (LOFT), http:\/\/www.econ.ucdavis.edu\/ faculty\/bonanno\/loft.html."},{"key":"10.1016\/S1570-2464(07)80023-1_bib46","first-page":"450","article-title":"MCMAS: A model checker for multi-agent systems","volume":"volume 3920","author":"Lomuscio","year":"2006"},{"issue":"2","key":"10.1016\/S1570-2464(07)80023-1_bib47","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1145\/359496.359527","article-title":"Knowledge in multiagent systems: initial configura-tions and broadcast","volume":"1","author":"Lomuscio","year":"2000","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"article-title":"Knowledge Sharing among Ideal Agents","year":"1999","author":"Lomuscio","key":"10.1016\/S1570-2464(07)80023-1_bib48"},{"year":"1995","series-title":"Epistemic Logic for AI and Computer Science","author":"Meyer","key":"10.1016\/S1570-2464(07)80023-1_bib49"},{"key":"10.1016\/S1570-2464(07)80023-1_bib50","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF01240054","article-title":"Computational complexity to verify the instability of effectivity function","volume":"22","author":"Mizutani","year":"1993","journal-title":"International Journal of Game Theory"},{"key":"10.1016\/S1570-2464(07)80023-1_bib51","series-title":"Readings in Planning","first-page":"480","article-title":"A formal theory of knowledge and action","author":"Moore","year":"1990"},{"year":"1983","series-title":"The Strategy of Social Choice","author":"Moulin","key":"10.1016\/S1570-2464(07)80023-1_bib52"},{"key":"10.1016\/S1570-2464(07)80023-1_bib53","doi-asserted-by":"crossref","first-page":"286","DOI":"10.2307\/1969529","article-title":"Non-cooperative games","volume":"54","author":"Nash","year":"1951","journal-title":"Annals of Mathematics"},{"year":"1944","series-title":"Theory of Games and Economic Behavior","author":"von Neumann","key":"10.1016\/S1570-2464(07)80023-1_bib54"},{"key":"10.1016\/S1570-2464(07)80023-1_bib55","series-title":"Computer Science Logic","first-page":"27","article-title":"\u03bc-calculus via games","author":"Niwinski","year":"2002"},{"year":"1994","series-title":"A Course in Game Theory","author":"Osborne","key":"10.1016\/S1570-2464(07)80023-1_bib56"},{"key":"10.1016\/S1570-2464(07)80023-1_bib57","series-title":"33rd Annual ACM Symposium on Theory of Computing (STOC)","first-page":"749","article-title":"Algorithms, games, and the Internet","author":"Papadimitriou","year":"2001"},{"key":"10.1016\/S1570-2464(07)80023-1_bib58","series-title":"Foundations of Computation Theory","first-page":"347","article-title":"Propositional logics of programs: New directions","author":"Parikh","year":"1983"},{"key":"10.1016\/S1570-2464(07)80023-1_bib59","series-title":"Topics in the Theory of Computation","first-page":"111","article-title":"The logic of games and its applications","author":"Parikh","year":"1985"},{"key":"10.1016\/S1570-2464(07)80023-1_bib60","series-title":"Distributed Processes and the Logic of Knowledge","first-page":"256","author":"Parikh","year":"1985"},{"key":"10.1016\/S1570-2464(07)80023-1_bib61","series-title":"Computer Science Logic","article-title":"From programs to games: Invariance and safety for bisimulation","author":"Pauly","year":"2000"},{"article-title":"Logic for Social Software","year":"2001","author":"Pauly","key":"10.1016\/S1570-2464(07)80023-1_bib62"},{"issue":"1","key":"10.1016\/S1570-2464(07)80023-1_bib63","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","article-title":"A modal logic for coalitional power in games","volume":"12","author":"Pauly","year":"2002","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"10.1016\/S1570-2464(07)80023-1_bib64","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1142\/S0219198902000677","article-title":"On the complexity of coalitional reasoning","volume":"4","author":"Pauly","year":"2002","journal-title":"International Game Theory Review"},{"issue":"2","key":"10.1016\/S1570-2464(07)80023-1_bib65","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/A:1027354826364","article-title":"Game logic-an overview","volume":"75","author":"Pauly","year":"2003","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80023-1_bib66","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/s003550050092","article-title":"Effectivity functions, game forms, games and rights","volume":"15","author":"Peleg","year":"1998","journal-title":"Social Choice and Welfare"},{"issue":"1","key":"10.1016\/S1570-2464(07)80023-1_bib67","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1006\/game.1997.0536","article-title":"On the interpretation of decision problems with imperfect recall","volume":"20","author":"Piccione","year":"1997","journal-title":"Games and Economic Behaviour"},{"key":"10.1016\/S1570-2464(07)80023-1_bib68","series-title":"Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems","first-page":"201","article-title":"Logics of public communications","author":"Plaza","year":"1989"},{"key":"10.1016\/S1570-2464(07)80023-1_bib69","series-title":"Reference and Modality","first-page":"101","article-title":"Quantifiers and propositional attitudes","author":"Quine","year":"1971"},{"article-title":"Two Papers on the Theory of Strategic Behaviour","year":"1988","author":"Reny","key":"10.1016\/S1570-2464(07)80023-1_bib70"},{"year":"2000","series-title":"Economics and Language","author":"Rubinstein","key":"10.1016\/S1570-2464(07)80023-1_bib71"},{"issue":"2","key":"10.1016\/S1570-2464(07)80023-1_bib72","article-title":"Alternating-time logic with imperfect recall","volume":"85","author":"Schobbens","year":"2004","journal-title":"Electronic Notes in Theoretical Com-puter Science"},{"key":"10.1016\/S1570-2464(07)80023-1_bib73","series-title":"Studies in Contemporary Economics, (Vol 2: Philosophy of Economics)","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/978-3-642-68820-1_14","article-title":"How to make sense of game theory","author":"Spohn","year":"1982"},{"key":"10.1016\/S1570-2464(07)80023-1_bib74","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF01079205","article-title":"On the evaluation of solution concepts","volume":"37","author":"Stalnaker","year":"1994","journal-title":"Theory and Decisions"},{"key":"10.1016\/S1570-2464(07)80023-1_bib75","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1017\/S0266267100004132","article-title":"Belief and counterfactual reasoning in games","volume":"12","author":"Stalnaker","year":"1982","journal-title":"Economics and Philosophy"},{"key":"10.1016\/S1570-2464(07)80023-1_bib76","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/S0165-4896(98)00007-9","article-title":"Belief revision in games: Forward and backward induction","volume":"36","author":"Stalnaker","year":"1998","journal-title":"Mathematical Social Sciences"},{"key":"10.1016\/S1570-2464(07)80023-1_bib77","unstructured":"Theoretical aspects of reasoning about knowledge (TARK). http:\/\/www.tark.org."},{"key":"10.1016\/S1570-2464(07)80023-1_bib78","series-title":"Advances in Modal Logic, Volume 4","first-page":"475","article-title":"On IF modal logic and its expressive power","author":"Tulenheimo","year":"2003"},{"key":"10.1016\/S1570-2464(07)80023-1_bib79","series-title":"Synthese","first-page":"297","article-title":"An evolutionary game theoretic perspective on learning in multi-agent systems","author":"Tuyls","year":"2004"},{"article-title":"Modal Correspondence Theory","year":"1976","author":"van Benthem","key":"10.1016\/S1570-2464(07)80023-1_bib80"},{"year":"1996","series-title":"Exploring Logical Dynamics","author":"van Benthem","key":"10.1016\/S1570-2464(07)80023-1_bib81"},{"article-title":"Update as relativization","year":"1999","author":"van Benthem","key":"10.1016\/S1570-2464(07)80023-1_bib82"},{"issue":"4","key":"10.1016\/S1570-2464(07)80023-1_bib83","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1111\/1467-8586.00133","article-title":"Games in dynamic-epistemic logic","volume":"53","author":"van Benthem","year":"2001","journal-title":"Bulletin of Economic Research"},{"key":"10.1016\/S1570-2464(07)80023-1_bib84","series-title":"Proceedings of TARK VIII","first-page":"51","article-title":"Logics for information update","author":"van Benthem","year":"2001"},{"issue":"3","key":"10.1016\/S1570-2464(07)80023-1_bib85","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1023\/A:1015534111901","article-title":"Extensive games as process models","volume":"11","author":"van Benthem","year":"2002","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1570-2464(07)80023-1_bib86","series-title":"Logic Colloquium '02","first-page":"96","article-title":"One is a lonely number: the logic of communication","author":"van Benthem","year":"2002"},{"issue":"2","key":"10.1016\/S1570-2464(07)80023-1_bib87","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1027306910434","article-title":"Logic games are complete for game logics","volume":"75","author":"van Benthem","year":"2003","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80023-1_bib88","series-title":"Logic, Games and Social Choice","article-title":"Rational dynamics and epistemic logic in games","author":"van Benthem","year":"2003"},{"article-title":"The tree of knowledge in action: Toward a common perspective","year":"2006","author":"van Benthem","key":"10.1016\/S1570-2464(07)80023-1_bib89"},{"key":"10.1016\/S1570-2464(07)80023-1_bib90","series-title":"Theoretical aspects of rationality and knowledge: proceeding of the tenth conference (TARK 2005)","first-page":"253","article-title":"Common knowledge in update logics","author":"van Benthem","year":"2005"},{"key":"10.1016\/S1570-2464(07)80023-1_bib91","series-title":"Logic, Epistemology and the Unity of Scienc","first-page":"381","article-title":"Theories of knowledge and ignorance","author":"van der Hoek","year":"2004"},{"issue":"1","key":"10.1016\/S1570-2464(07)80023-1_bib92","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1026185103185","article-title":"Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications","volume":"75","author":"van der Hoek","year":"2003","journal-title":"Studia Logica"},{"key":"10.1016\/S1570-2464(07)80023-1_bib93","series-title":"Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science (LICS-94)","first-page":"448","article-title":"Axioms for knowledge and time in distributed systems with perfect recall","author":"van der Meyden","year":"1994"},{"key":"10.1016\/S1570-2464(07)80023-1_bib94","series-title":"Proceedings of the Conference on Foundations of Software Technology and Theoretical Computer Science (LNCS Volume 1738)","first-page":"432","article-title":"Model checking knowledge and time in systems with perfect recall","author":"van der Meyden","year":"1999"},{"key":"10.1016\/S1570-2464(07)80023-1_bib95","series-title":"nth IEEE Computer Security Foundations Workshop","first-page":"280","article-title":"Symbolic model checking the knowledge of the dining cryptographers","author":"van der Meyden","year":"2004"},{"key":"10.1016\/S1570-2464(07)80023-1_bib96","series-title":"Proceedings CONCUR'98","first-page":"34","article-title":"Synthesis form knowledge-based specifications","author":"van der Meyden","year":"1998"},{"issue":"1","key":"10.1016\/S1570-2464(07)80023-1_bib97","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1023\/A:1026181001368","article-title":"Complete axiomatisations for reasoning about knowledge and branching time","volume":"75","author":"van der Meyden","year":"2003","journal-title":"Studia Logica"},{"article-title":"Knowledge Games","year":"2000","author":"van Ditmarsch","key":"10.1016\/S1570-2464(07)80023-1_bib98"},{"year":"2005","series-title":"The secret of my success","author":"van Ditmarsch","key":"10.1016\/S1570-2464(07)80023-1_bib99"},{"key":"10.1016\/S1570-2464(07)80023-1_bib100","series-title":"Proceedings of the 18th Australian Joint Conference on Artificial Intelligence (AI 2005)","first-page":"790","article-title":"Model checking sum and product","author":"van Ditmarsch","year":"2005"},{"year":"2006","series-title":"Dynamic epistemic logic","author":"van Ditmarsch","key":"10.1016\/S1570-2464(07)80023-1_bib101"},{"key":"10.1016\/S1570-2464(07)80023-1_bib102","series-title":"Knowledge Contributors","first-page":"105","article-title":"Concurrent dynamic epistemic logic","author":"van Ditmarsch","year":"2003"},{"key":"10.1016\/S1570-2464(07)80023-1_bib103","series-title":"Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2003)","first-page":"208","article-title":"Satisfiability in alternating-time temporal logic","author":"van Drimmelen","year":"2003"},{"key":"10.1016\/S1570-2464(07)80023-1_bib104","unstructured":"J. van Eijck. DEMO: a system for dynamic epistemic modeling. http:\/\/homepages.cwi.nl\/~jve\/ demo."},{"issue":"2","key":"10.1016\/S1570-2464(07)80023-1_bib105","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1023\/A:1027363028181","article-title":"Representing game algebras","volume":"75","author":"Venema","year":"2003","journal-title":"Studia Logica"},{"year":"2005","series-title":"ATL satisfiability is indeed ExpTime-complete","author":"Walther","key":"10.1016\/S1570-2464(07)80023-1_bib106"},{"key":"10.1016\/S1570-2464(07)80023-1_bib107","series-title":"Proceedings of the Fifth International Congress of Mathematicians","first-page":"501","article-title":"\u00dcber eine Anwendung der Mengenlehre auf die Theorie des Schachspiels","author":"Zermelo","year":"1913"}],"container-title":["Studies in Logic and Practical Reasoning","Handbook of Modal Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570246407800231?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570246407800231?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T23:16:31Z","timestamp":1761606991000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1570246407800231"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9780444516909"],"references-count":107,"URL":"https:\/\/doi.org\/10.1016\/s1570-2464(07)80023-1","relation":{},"ISSN":["1570-2464"],"issn-type":[{"type":"print","value":"1570-2464"}],"subject":[],"published":{"date-parts":[[2007]]}}}