@article(Aumann99a,
 author       = {R. J. Aumann},
 year         = {1999},
 title        = {Interactive epistemology {II}: probability},
 journal      = {International Journal of Game Theory},
 volume       = {28},
 number       = {3},
 pages        = {301--314},
 doi          = {10.1007/s001820050112},
)
@book(BRV01,
 author       = {P. Blackburn and M. de Rijke and Y. Venema},
 year         = {2001},
 title        = {Modal Logic},
 series       = {Cambridge Tracts in Theoretical Computer Science, No.~53},
 publisher    = {Cambridge University Press},
 address      = {Cambridge, U.K.},
 doi          = {10.1017/CBO9781107050884},
)
@incollection(DS15,
 author       = {E. Dekel and M. Siniscalchi},
 year         = {2015},
 title        = {Epistemic Game Theory},
 editor       = {H. P. Young and S. Zamir},
 booktitle    = {Handbook of Game Theory with Economic Applications, Volume 4},
 publisher    = {North-Holland},
 address      = {Amsterdam},
 pages        = {619--702},
)
@article(FH3,
 author       = {R. Fagin and J. Y. Halpern},
 year         = {1994},
 title        = {Reasoning about knowledge and probability},
 journal      = {Journal of the ACM},
 volume       = {41},
 number       = {2},
 pages        = {340--367},
 doi          = {10.1145/174652.174658},
)
@article(FHM,
 author       = {R. Fagin and J. Y. Halpern and N. Megiddo},
 year         = {1990},
 title        = {A logic for reasoning about probabilities},
 journal      = {Information and Computation},
 volume       = {87},
 number       = {1/2},
 pages        = {78--128},
 doi          = {10.1016/0890-5401(90)90060-U},
)
@article(FHV1,
 author       = {R. Fagin and J. Y. Halpern and M. Y. Vardi},
 year         = {1991},
 title        = {A model-theoretic analysis of knowledge},
 journal      = {Journal of the ACM},
 volume       = {91},
 number       = {2},
 pages        = {382--428},
 doi          = {10.1145/103516.128680},
 note         = {A preliminary version appeared in {\em Proc.~25th IEEE Symposium on Foundations of Computer Science}, 1984},
)
@book(Folland,
 author       = {Gerald B. Folland},
 year         = {1999},
 title        = {Real Analysis: Modern Techniques and Their Applications},
 publisher    = {John Wiley \& Sons},
 address      = {New York},
)
@article(GL16,
 author       = {P. Galeazzi and E. Lorini},
 year         = {2016},
 title        = {Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces},
 journal      = {Synthese},
 volume       = {193},
 pages        = {2097--2127},
 doi          = {10.1007/s11229-015-0834-x},
)
@book(Hal31,
 author       = {J. Y. Halpern},
 year         = {2003},
 title        = {Reasoning About Uncertainty},
 publisher    = {MIT Press},
 address      = {Cambridge, MA},
 note         = {Second, edition 2017},
)
@inproceedings(HP08a,
 author       = {J. Y. Halpern and R. Pass},
 year         = {2009},
 title        = {A logical characterization of iterated admissibility},
 booktitle    = {Theoretical Aspects of Rationality and Knowledge: Proc.~Twelfth Conference (TARK 2009)},
 pages        = {146--155},
 doi          = {10.1145/1562814.1562836},
)
@article(Harsanyi,
 author       = {J. Harsanyi},
 year         = {1968},
 title        = {Games with incomplete information played by `{B}ayesian' players, Parts {I}--{III}},
 journal      = {Management Science},
 volume       = {14},
 pages        = {159--182, 320--334, 486--502},
 doi          = {10.1287/mnsc.14.5.320},
)
@article(HeifetzM01,
 author       = {A. Heifetz and P. Mongin},
 year         = {2001},
 title        = {Probability logic for type spaces},
 journal      = {Games and Economic Behavior},
 volume       = {35},
 number       = {1--2},
 pages        = {31--53},
 doi          = {10.1006/game.1999.0788},
)
@article(HeSa1,
 author       = {A. Heifetz and D. Samet},
 year         = {1998},
 title        = {Knowledge spaces with arbitrarily high rank},
 journal      = {Games and Economic Behavior},
 volume       = {22},
 number       = {2},
 pages        = {260--273},
 doi          = {10.1006/game.1997.0591},
)
@article(HeSa98,
 author       = {A. Heifetz and D. Samet},
 year         = {1998},
 title        = {Topology-free typology of beliefs},
 journal      = {Journal of Economic Theory},
 volume       = {82},
 pages        = {324--341},
 doi          = {10.1006/jeth.1998.2435},
)
@article(Len,
 author       = {W. Lenzen},
 year         = {1978},
 title        = {Recent work in epistemic logic},
 journal      = {Acta Philosophica Fennica},
 volume       = {30},
 pages        = {1--219},
)
@article(Meier12,
 author       = {M. Meier},
 year         = {2012},
 title        = {An infinitary probability logic for type spaces},
 journal      = {Israel Journal of Mathematics},
 volume       = {192},
 pages        = {1--58},
 doi          = {10.1007/s11856-012-0046-8},
)
@article(MZ,
 author       = {J. F. Mertens and S. Zamir},
 year         = {1985},
 title        = {Formulation of {B}ayesian analysis for games of incomplete information},
 journal      = {International Journal of Game Theory},
 volume       = {14},
 number       = {1},
 pages        = {1--29},
 doi          = {10.1007/BF01770224},
)
@book(Munkres,
 author       = {J. Munkres},
 year         = {2000},
 title        = {Topology},
 edition      = {2nd},
 publisher    = {Prentice-Hall},
 address      = {Englewood Cliffs, N.J.},
)