@article(Aumann1976,
 author       = {Robert J. Aumann},
 year         = {1976},
 title        = {Agreeing to disagree},
 journal      = {The Annals of Statistics},
 volume       = {4},
 number       = {6},
 pages        = {1236--1239},
 doi          = {10.1214/aos/1176343654},
)
@article(Aumann1999,
 author       = {Robert J. Aumann},
 year         = {1999},
 title        = {Interactive epistemology I: Knowledge},
 journal      = {International Journal of Game Theory},
 volume       = {28},
 number       = {3},
 pages        = {263--300},
 doi          = {10.1007/s001820050111},
)
@article(bernheim1984rationalizable,
 author       = {B. Douglas Bernheim},
 year         = {1984},
 title        = {Rationalizable strategic behavior},
 journal      = {Econometrica},
 volume       = {52},
 number       = {4},
 pages        = {1007--1028},
 doi          = {10.2307/1911196},
)
@article(bonanno2002modal,
 author       = {Giacomo Bonanno},
 year         = {2002},
 title        = {Modal logic and game theory: two alternative approaches},
 journal      = {Risk, Decision and Policy},
 volume       = {7},
 number       = {3},
 pages        = {309--324},
 doi          = {10.1017/s1357530902000704},
)
@book(Fagin2003,
 author       = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi},
 year         = {2003},
 title        = {Reasoning About Knowledge},
 publisher    = {MIT Press},
)
@unpublished(Fang2019compile,
 author       = {Liangda Fang and Kewen Wang and Zhe Wang and Ximing Wen},
 year         = {2018},
 title        = {Knowledge compilation in multi-agent epistemic logics},
 note         = {{arXiv}: 1806.10561v2},
)
@incollection(Garson2018,
 author       = {James Garson},
 year         = {2018},
 title        = {Modal Logic},
 editor       = {Edward N. Zalta},
 booktitle    = {The Stanford Encyclopedia of Philosophy},
 edition      = {fall 2018},
 publisher    = {Metaphysics Research Lab, Stanford University},
)
@techreport(Geanakoplos1989,
 author       = {John Geanakoplos},
 year         = {1989},
 title        = {Game theory without partitions, and applications to speculation and consensus},
 type         = {Cowles Foundation Discussion Papers},
 number       = {914},
 institution  = {Cowles Foundation for Research in Economics, Yale University},
)
@phdthesis(hales2016quantifying,
 author       = {James Hales},
 year         = {2016},
 title        = {Quantifying over epistemic updates},
 school       = {The University of Western Australia},
)
@inproceedings(hales2012refinement,
 author       = {James Hales and Tim French and Rowan Davies},
 year         = {2012},
 title        = {Refinement quantified logics of knowledge and belief for multiple agents},
 booktitle    = {Advances in Modal Logic, Volume 9},
 pages        = {317--338},
)
@article(halpern2001multi,
 author       = {Joseph Y Halpern and Gerhard Lakemeyer},
 year         = {2001},
 title        = {Multi-agent only knowing},
 journal      = {Journal of Logic and Computation},
 volume       = {11},
 number       = {1},
 pages        = {41--70},
 doi          = {10.1093/logcom/11.1.41},
)
@article(Halpern2004infinite,
 author       = {Joseph Y. Halpern and Richard A. Shore},
 year         = {2004},
 title        = {Reasoning about common knowledge with infinitely many agents},
 journal      = {Information and Computation},
 volume       = {191},
 number       = {1},
 pages        = {1--40},
 doi          = {10.1016/j.ic.2004.01.003},
)
@book(Hintikka1965,
 author       = {Jaakko Hintikka},
 year         = {1962},
 title        = {Knowledge and Belief: An Introduction to the Logic of the Two Notions},
 publisher    = {Cornell University Press},
)
@unpublished(huang2018general,
 author       = {Xiao Huang and Biqing Fang and Hai Wan and Yongmei Liu},
 year         = {2018},
 title        = {A general multi-agent epistemic planner based on higher-order belief change},
 note         = {{arXiv}: 1806.11298v2},
)
@article(Kaneko2002,
 author       = {Mamoru Kaneko},
 year         = {2002},
 title        = {Epistemic logics and their game theoretic applications: Introduction},
 journal      = {Economic Theory},
 volume       = {19},
 number       = {1},
 pages        = {7--62},
 doi          = {10.1007/s001990100202},
)
@inproceedings(lakemeyer2012efficient,
 author       = {Gerhard Lakemeyer and Yves Lesp{\'e}rance},
 year         = {2012},
 title        = {Efficient reasoning in multiagent epistemic logics},
 booktitle    = {Proceedings of the 20th European Conference on Artificial Intelligence},
 series       = {ECAI'12},
 pages        = {498--503},
 doi          = {10.3233/978-1-61499-098-7-498},
)
@incollection(Lamarre1994,
 author       = {Philippe Lamarre and Yoav Shoham},
 year         = {1994},
 title        = {Knowledge, certainty, belief, and conditionalisation (abbreviated version)},
 editor       = {Jon Doyle and Erik Sandewall and Pietro Torasso},
 booktitle    = {Principles of Knowledge Representation and Reasoning},
 series       = {The Morgan Kaufmann Series in Representation and Reasoning},
 pages        = {415--424},
 doi          = {10.1016/b978-1-4832-1452-8.50134-2},
)
@article(Lederman2015,
 author       = {Harvey Lederman},
 year         = {2015},
 title        = {People with common priors can agree to disagree},
 journal      = {Review of Symbolic Logic},
 volume       = {8},
 number       = {1},
 pages        = {11--45},
 doi          = {10.1017/s1755020314000380},
)
@article(Lenzen1978,
 author       = {Wolfgang Lenzen},
 year         = {1978},
 title        = {Recent work in epistemic logic},
 journal      = {Acta Philosophica Fennica},
 volume       = {30},
 number       = {2},
 pages        = {1--219},
)
@inproceedings(liu2018multi,
 author       = {Qiang Liu and Yongmei Liu},
 year         = {2018},
 title        = {Multi-agent epistemic planning with common knowledge.},
 booktitle    = {Proceedings of the 27th International Joint Conference on Artificial Intelligence, {IJCAI-18}},
 pages        = {1912--1920},
 doi          = {10.24963/ijcai.2018/264},
)
@book(Meyer1995,
 author       = {John-Jules Ch Meyer and Wiebe van der Hoek},
 year         = {1995},
 title        = {Epistemic Logic for AI and Computer Science},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/cbo9780511569852},
)
@book(Osborne1994,
 author       = {Martin J. Osborne and Ariel Rubinstein},
 year         = {1994},
 title        = {A Course in Game Theory},
 publisher    = {MIT Press},
)
@article(parikh1992levels,
 author       = {Rohit Parikh and Paul Krasucki},
 year         = {1992},
 title        = {Levels of knowledge in distributed systems},
 journal      = {Sadhana},
 volume       = {17},
 number       = {1},
 pages        = {167--191},
 doi          = {10.1007/bf02811342},
)
@article(stalnaker1994evaluation,
 author       = {Robert Stalnaker},
 year         = {1994},
 title        = {On the evaluation of solution concepts},
 journal      = {Theory and Decision},
 volume       = {37},
 number       = {1},
 pages        = {49--73},
 doi          = {10.1007/bf01079205},
)
@inproceedings(Vardi1985,
 author       = {Moshe Y. Vardi},
 year         = {1985},
 title        = {A model-theoretic analysis of monotonic knowledge},
 booktitle    = {Proceedings of the 9th International Joint Conference on Artificial Intelligence, {IJCAI-85}},
 pages        = {509--512},
)
@unpublished(Vilks1999,
 author       = {Arnis Vilks},
 year         = {1999},
 title        = {Knowledge of the game, relative rationality, and backwards induction without counterfactuals},
 note         = {Working Paper no.25, Leipzig Graduate School of Management},
)