@article(BaltagSZ09, author = {Alexandru Baltag and Sonja Smets and Jonathan A. Zvesper}, year = {2009}, title = {Keep `hoping' for rationality: a solution to the backward induction paradox.}, journal = {Synthese}, volume = {169}, number = {2}, pages = {301--333}, doi = {10.1007/s11229-009-9559-z}, ) @inproceedings(vanBenthem2011, author = {Johan van Benthem}, year = {2011}, title = {Exploring a Theory of Play}, booktitle = {Proc. of TARK}, pages = {12--16}, doi = {10.1145/2000378.2000380}, ) @book(Benthem14, author = {Johan van Benthem}, year = {2014}, title = {Logic in Games}, publisher = {MIT Press}, doi = {10.1080/00048402.2015.1063071}, ) @article(BenthemG10, author = {Johan van Benthem and Am\'{e}lie Gheerbrant}, year = {2010}, title = {Game Solution, Epistemic Dynamics and Fixed-Point Logics.}, journal = {Fundam. Inform.}, volume = {100}, number = {1-4}, pages = {19--41}, ) @inproceedings(BenthemOtterlooRoy, author = {Johan van Benthem and Sieuwert Van Otterloo and Olivier Roy}, year = {2006}, title = {Preference logic, conditionals, and solution concepts in games}, booktitle = {H. Lagerlund, S. Lindstrm, and R. Sliwinski, editors, Modality Matters: Twenty-Five Essays in Honour of Krister Segerberga}, publisher = {University of Uppsala}, pages = {61--76}, ) @article(BenthemPR2011, author = {Johan van Benthem and Eric Pacuit and Olivier Roy}, year = {2011}, title = {Toward a Theory of Play: A Logical Perspective on Games and Interaction}, journal = {Games}, volume = {2}, number = {1}, pages = {52--86}, doi = {10.3390/g2010052}, ) @book(BERMUDEZ1994, author = {J. L. Berm\'{u}dez}, year = {2009}, title = {Decision Theory and Rationality}, publisher = {Oxford University Press}, doi = {10.1093/acprof:oso/9780199548026.001.0001}, ) @book(Blackburn2001b, author = {Patrick Blackburn and Maarten de Rijke and Yde Venema}, year = {2001}, title = {Modal logic}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9781107050884}, ) @phdthesis(BonetBretto2004, author = {Bonet Bretto, Blai Tirant}, year = {2004}, title = {Modeling and Solving Sequential Decision Problems with Uncertainty and Partial Information}, school = {Department of Computer Science}, address = {University of California, Los Angeles}, ) @article(Degremont14, author = {Cedric Degremont and Soumya Paul and Nicholas Asher}, year = {2014}, title = {{A Logic of Sights}}, journal = {Journal of Logic and Computation}, ) @book(Ditmarsch2007, author = {Hans van Ditmarsch and Wiebe van der Hoek and Barteld Kooi}, year = {2007}, title = {Dynamic Epistemic Logic}, series = {Synthese library}, volume = {337}, publisher = {Springer}, doi = {10.1007/978-1-4020-5839-4}, ) @techreport(edwards:mittr63, author = {D. Edwards and T. Hart}, year = {1963}, title = {The Alpha-Beta Heuristic}, type = {Technical Report}, number = {30}, institution = {MIT}, ) @article(Feinberg, author = {Yossi Feinberg}, year = {2012}, title = {Games with Unawareness}, journal = {Stanford Graduate School of Busirness Paper No. 2122}, ) @inproceedings(GrossiT12:Sight, author = {Davide Grossi and Paolo Turrini}, year = {2012}, title = {Short sight in extensive games}, booktitle = {Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012)}, pages = {805--812}, url = {http://dl.acm.org/citation.cfm?id=2343776.2343812}, ) @inproceedings(Halpern2011, author = {Joseph Y. Halpern and Leandro C. R\^{e}go}, year = {2009}, title = {Reasoning About Knowledge of Unawareness Revisited}, booktitle = {Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge}, series = {TARK '09}, publisher = {ACM}, address = {New York, NY, USA}, pages = {166--173}, doi = {10.1145/1562814.1562838}, ) @article(Halpern14, author = {Joseph Y. Halpern and Leandro C. R\^{e}go}, year = {2014}, title = {Extensive Games with Possibly Unaware Players}, journal = {Mathematical Social Sciences}, volume = {70}, pages = {42--58}, doi = {10.1016/j.mathsocsci.2012.11.002}, ) @inproceedings(HalpernR06, author = {Joseph Y. Halpern and Leandro Chaves R{\^e}go}, year = {2006}, title = {Extensive games with possibly unaware players}, booktitle = {AAMAS}, pages = {744--751}, doi = {10.1145/1160633.1160765}, ) @misc(Hansson94decisiontheory, author = {Sven Ove Hansson}, year = {1994}, title = {Decision Theory -A Brief Introduction}, ) @article(Harrenstein03, author = {Paul Harrenstein and Wiebe van der Hoek and John-Jules Meyer and Cees Witteveen}, year = {2003}, title = {A Modal Characterization of Nash Equilibrium}, journal = {Fundam. Inf.}, volume = {57}, number = {2-4}, pages = {281--321}, url = {http://dl.acm.org/citation.cfm?id=986485.986494}, ) @inproceedings(Harrenstein02onmodal, author = {Paul Harrenstein and Wiebe Van Der Hoek and John jules Meyer and Cees Witteveen}, year = {2002}, title = {On modal logic interpretations of games}, booktitle = {Procs ECAI 2002}, pages = {28--32}, ) @article(HeifetzMS13, author = {Aviad Heifetz and Martin Meier and Burkhard C. Schipper}, year = {2013}, title = {Dynamic unawareness and rationalizable behavior}, journal = {Games and Economic Behavior}, volume = {81}, pages = {50--68}, doi = {10.1016/j.geb.2013.04.003}, ) @incollection(Hoek06, author = {W. van der Hoek and M. Pauly}, year = {2006}, title = {Modal logic for games and information}, booktitle = {Handbook of Modal Logic}, publisher = {Elsevier}, pages = {1078--1148}, doi = {10.1016/S1570-2464(07)80023-1}, ) @phdthesis(Houlding08, author = {Brett Houlding}, year = {2008}, title = {Sequential Decision Making with Adaptive Utility}, school = {Department of Mathematical Sciences}, address = {Durham University}, ) @article(Kjetil2001, author = {H{\o}yland, Kjetil and Stein W. Wallace}, year = {2001}, title = {Generating Scenario Trees for Multistage Decision Problems}, journal = {Management Science}, volume = {47}, number = {2}, pages = {pp. 295--307}, doi = {10.1287/mnsc.47.2.295.9834}, ) @inproceedings(Lim2006, author = {Yew Jin Lim and Wee Sun Lee}, year = {2006}, title = {Properties of forward pruning in game-tree search}, booktitle = {proceedings of the 21st national conference on Artificial intelligence - Volume 2}, series = {AAAI'06}, publisher = {AAAI Press}, pages = {1020--1025}, ) @phdthesis(Littman1996, author = {Michael Lederman Littman}, year = {1996}, title = {Algorithms for Sequential Decision-making}, school = {Brown University}, address = {Providence, RI, USA}, ) @inproceedings(Chanjuan13, author = {Chanjuan Liu and Fenrong Liu and Kaile Su}, year = {2013}, title = {A Logic for Extensive Games with Short Sight}, booktitle = {LORI}, pages = {332--336}, doi = {10.1007/978-3-642-40948-6\textunderscore28}, ) @article(North68atutorial, author = {D. Warner North}, year = {1968}, title = {A tutorial introduction to decision theory}, journal = {IEEE Transactions on Systems Science and Cybernetics}, doi = {10.1109/TSSC.1968.300114}, ) @book(Osborne2004, author = {Martin J Osborne}, year = {2004}, title = {An Introduction to Game Theory}, volume = {2}, publisher = {Oxford University Press}, ) @book(Osborne1994, author = {Martin J Osborne and Ariel Rubinstein}, year = {1994}, title = {A Course in Game Theory}, publisher = {MIT Press}, url = {https://mitpress.mit.edu/books/course-game-theory}, ) @article(perea2014, author = {Andr\'{e}s Perea}, year = {2014}, title = {FROM CLASSICAL TO EPISTEMIC GAME THEORY}, journal = {International Game Theory Review (IGTR)}, volume = {16}, number = {01}, doi = {10.1142/S0219198914400015}, ) @book(Peterson2009, author = {Martin Peterson}, year = {2009}, title = {An Introduction to Decision Theory}, edition = {1}, series = {Cambridge Introductions to Philosophy}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9780511800917}, ) @book(2011Rossi, author = {Francesca Rossi and Kristen Brent Venable and Toby Walsh}, year = {2011}, title = {A Short Introduction to Preferences: Between Artificial Intelligence and Social Choice}, series = {Synthesis Lectures on Artificial Intelligence and Machine Learning}, publisher = {Morgan \& Claypool Publishers}, doi = {10.2200/S00372ED1V01Y201107AIM014}, )