@inproceedings(DBLP:conf/ijcai/AucherB15,
 author       = {G. Aucher and V. Belle},
 year         = {2015},
 title        = {Multi-Agent Only Knowing on Planet {K}ripke},
 booktitle    = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015)},
 publisher    = {{AAAI} Press},
 pages        = {2713--2719},
)
@article(BattigalliSiniscalchiUniv,
 author       = {P. Battigalli and M. Siniscalchi},
 year         = {1999},
 title        = {Hierarchies of Conditional Beliefs and Interactive Epistemology in Dynamic Games},
 journal      = {Journal of Economic Theory},
 volume       = {88},
 number       = {1},
 pages        = {188--230},
 doi          = {10.1006/jeth.1999.2555},
)
@inproceedings(DBLP:conf/kr/BelleL10,
 author       = {V. Belle and G. Lakemeyer},
 year         = {2010},
 title        = {Multi-Agent Only-Knowing Revisited},
 booktitle    = {Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning (KR 2010)},
 publisher    = {{AAAI} Press},
 pages        = {49--59},
)
@article(BDPW02,
 author       = {S. Benferhat and D. Dubois and H. Prade and M.-A. Williams},
 year         = {2002},
 title        = {A practical approach to revising prioritized knowledge bases},
 journal      = {Studia Logica},
 volume       = {70},
 number       = {1},
 pages        = {105--130},
 doi          = {10.1023/A:1014606325783},
)
@inproceedings(BenthemEijckGattingerSu2015,
 author       = {J. van Benthem and J. van Eijck and M. Gattinger and K. Su},
 year         = {2015},
 title        = {Symbolic Model Checking for Dynamic Epistemic Logic},
 booktitle    = {Proceedings of the 5th International Workshop on Logic, Rationality and Interaction (LORI 2015)},
 series       = {LNCS},
 volume       = {9394},
 publisher    = {Springer-Verlag},
 pages        = {366--378},
 doi          = {10.1093/comjnl/bxm009},
)
@incollection(KleinBenthem,
 author       = {J. van Benthem and D. Klein},
 year         = {2019},
 title        = {{Logics for Analyzing Games }},
 booktitle    = {{Stanford Encyclopedia of Philosophy}},
)
@inproceedings(BjorndahlHalpernTARK,
 author       = {A. Bjorndahl and J. Y. Halpern},
 year         = {2017},
 title        = {From Type Spaces to Probability Frames and Back, via Language},
 booktitle    = {Proceedings of the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017)},
 pages        = {75--87},
)
@book(Bla01,
 author       = {P. Blackburn and M. de Rijke and Y. Venema},
 title        = {Modal Logic},
 publisher    = {Cambridge University Press},
 address      = {Cambridge},
 doi          = {10.1017/CBO9781107050884},
)
@article(UnivBranden,
 author       = {A. Brandenburger and E. Dekel},
 year         = {1993},
 title        = {Hierarchies of Beliefs and Common Knowledge},
 journal      = {Journal of Economic Theory},
 volume       = {59},
 pages        = {189--198},
 doi          = {10.1006/jeth.1993.1012},
)
@inproceedings(DBLP:conf/kr/CharrierHLMS16,
 author       = {T. Charrier and A. Herzig and E. Lorini and F. Maffre and F. Schwarzentruber},
 year         = {2016},
 title        = {Building Epistemic Logic from Observations and Public Announcements},
 booktitle    = {Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2016)},
 publisher    = {{AAAI} Press},
 pages        = {268--277},
)
@book(DitmarschHoekKooi07,
 author       = {H. P. van Ditmarsch and W. van der Hoek and B. Kooi},
 year         = {2007},
 title        = {Dynamic Epistemic Logic},
 publisher    = {Kluwer Academic Publishers},
 doi          = {10.1007/978-1-4020-5839-4},
)
@article(FaginUniv2,
 author       = {R. Fagin and  and J. Y. Halpern and  and M. Y. Vardi},
 year         = {1991},
 title        = {A Model-Theoretic Analysis of Knowledge},
 journal      = {Journal of the {ACM}},
 volume       = {38},
 number       = {2},
 pages        = {382--428},
 doi          = {10.1145/103516.128680},
)
@article(FaginUniv1,
 author       = {R. Fagin and J. Geanakoplos and J. Y. Halpern and  and M. Y. Vardi},
 year         = {1999},
 title        = {The Hierarchical Approach to Modeling Knowledge and Common Knowledge},
 journal      = {International Journal of Game Theory},
 volume       = {28},
 number       = {3},
 pages        = {331--365},
 doi          = {10.1007/s001820050114},
)
@book(Fagin1995,
 author       = {R. Fagin and J. Halpern and Y. Moses and M. Vardi},
 year         = {1995},
 title        = {Reasoning about Knowledge},
 publisher    = {MIT Press},
 address      = {Cambridge},
 doi          = {10.7551/mitpress/5803.001.0001},
)
@article(LoriniGaleazzi,
 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},
 number       = {7},
 pages        = {2097--2127},
 doi          = {10.1007/s11229-015-0834-x},
)
@article(GorankoPassyUMOD,
 author       = {V. Goranko and S. Passy},
 year         = {1992},
 title        = {Using the universal modality: gains and questions},
 journal      = {Journal of Logic and Computation},
 volume       = {2},
 number       = {1},
 pages        = {5--30},
 doi          = {10.1093/logcom/2.1.5},
)
@article(GradelOtto,
 author       = {E. Gr\"{a}del and M. Otto},
 year         = {1999},
 title        = {On logics with two variables},
 journal      = {Theoretical Computer Science},
 volume       = {224},
 pages        = {73--113},
 doi          = {10.1016/S0304-3975(98)00308-9},
)
@article(HalpernLakeOnly,
 author       = {J. Y. Halpern and G. 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(DBLP:journals/ai/HalpernM92,
 author       = {J. Y. Halpern and Y. Moses},
 year         = {1992},
 title        = {A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief},
 journal      = {Artificial Intelligence},
 volume       = {54},
 number       = {2},
 pages        = {319--379},
 doi          = {10.1016/0004-3702(92)90049-4},
)
@article(HanssonJSL,
 author       = {S. O. Hansson},
 year         = {1993},
 title        = {Theory contraction and base contraction unified},
 journal      = {Journal of Symbolic Logic},
 volume       = {58},
 number       = {2},
 pages        = {602--625},
 doi          = {10.1007/978-3-319-20451-2_14},
)
@book(Han99,
 author       = {S. O. Hansson},
 year         = {1999},
 title        = {A Textbook of Belief Dynamics: Theory Change and Database Updating},
 publisher    = {Kluwer},
 address      = {Dordrecht},
 doi          = {10.1007/978-94-007-0814-3},
)
@article(Harsanyi1967,
 author       = {J. C. Harsanyi},
 year         = {1967},
 title        = {Games with incomplete information played by `Bayesian' players},
 journal      = {Management Science},
 volume       = {14},
 pages        = {159--182},
 doi          = {10.1287/mnsc.1040.0270},
)
@article(Heifetz93Univ,
 author       = {A. Heifetz},
 year         = {1993},
 title        = {The Bayesian formulation of incomplete information: the non-compact case},
 journal      = {International Journal of Game Theory},
 volume       = {21},
 pages        = {329--338},
 doi          = {10.1007/BF01240148},
)
@article(HeifetzSamet98Univ,
 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(Hemaspaandra96,
 author       = {E. Hemaspaandra},
 year         = {1996},
 title        = {The Price of Universality},
 journal      = {Notre Dame Journal of Formal Logic},
 volume       = {37},
 number       = {2},
 pages        = {174--203},
 doi          = {10.1305/ndjfl/1040046086},
)
@book(Hintikka,
 author       = {J. Hintikka},
 year         = {1962},
 title        = {Knowledge and Belief. An introduction to the logic of the two notions},
 publisher    = {Cornell University Press},
 address      = {New York},
)
@inproceedings(DBLP:conf/aamas/HoekIW12,
 author       = {W. van der Hoek and P. Iliev and M. Wooldridge},
 year         = {2012},
 title        = {A logic of revelation and concealment},
 booktitle    = {Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012)},
 publisher    = {IFAAMAS},
 pages        = {1115--1122},
)
@article(KetsTypes,
 author       = {W. Kets},
 year         = {2014},
 title        = {Finite Depth of Reasoning and Equilibrium Play in Games with Incomplete Information},
 journal      = {Northwestern University, Center for Mathematical Studies in Economics and Management Science},
 volume       = {Discussion Papers 1569},
)
@article(KoniecznyPerez,
 author       = {S. Konieczny and R. Pino P\'erez},
 year         = {2002},
 title        = {Merging information under constraints: a logical framework},
 journal      = {Journal of Logic and Computation},
 volume       = {12},
 number       = {5},
 pages        = {773--808},
 doi          = {10.1093/logcom/12.5.773},
)
@inproceedings(Lakemeyer93AK,
 author       = {G. Lakemeyer},
 year         = {1993},
 title        = {All they know: a study in multi-agent autoepistemic reasoning},
 booktitle    = {Proceedings of the 13th International Joint Conference on Artificial intelligence (IJCAI'93)},
 publisher    = {Morgan Kaufmann},
 pages        = {376--381},
)
@article(LevesqueOnly,
 author       = {H. J. Levesque},
 year         = {1990},
 title        = {All {I} know: a study in autoepistemic logic},
 journal      = {Artificial Intelligence},
 volume       = {42},
 number       = {2-3},
 pages        = {263--309},
 doi          = {10.1016/0004-3702(90)90056-6},
)
@article(LomuscioRaimondi2015,
 author       = {A. Lomuscio and H. Qu and F. Raimondi},
 year         = {2015},
 title        = {{MCMAS}: an open-source model checker for the verification of multi-agent systems},
 journal      = {International Journal on Software Tools for Technology Transfer},
 volume       = {19},
 pages        = {1--22},
 doi          = {10.1007/s10009-015-0378-x},
)
@inproceedings(LoriniAAAI2018,
 author       = {E. Lorini},
 year         = {2018},
 title        = {In Praise of Belief Bases: Doing Epistemic Logic Without Possible Worlds},
 booktitle    = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence (AAAI-18)},
 publisher    = {{AAAI} Press},
 pages        = {1915--1922},
)
@inproceedings(LoriniRomeroAAMAS2019,
 author       = {E. Lorini and F. Romero},
 year         = {2019},
 title        = {Decision procedures for epistemic logic exploiting belief bases},
 booktitle    = {Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019)},
 publisher    = {{ACM}},
 pages        = {944--952},
)
@article(MakinsonTorreIOL,
 author       = {D. Makinson and L. van der Torre},
 year         = {2000},
 title        = {Input/output logics},
 journal      = {Journal of Philosophical Logic},
 volume       = {29},
 pages        = {383--408},
 doi          = {10.1023/A:1004748624537},
)
@article(UnivZamir,
 author       = {J. F. Mertens and S. Zamir},
 year         = {1985},
 title        = {Formulation of Bayesian analysis for games with incomplete information},
 journal      = {International Journal of Game Theory},
 volume       = {14},
 pages        = {1--29},
 doi          = {10.1007/BF01770224},
)
@book(Meyer1995,
 author       = {J.-J. C. Meyer and W. van der Hoek},
 year         = {1995},
 title        = {Epistemic Logic for AI and Theoretical Computer Science},
 publisher    = {Cambridge University Press},
 address      = {Oxford},
 doi          = {10.1017/CBO9780511569852},
)
@inproceedings(ReiterIntegrity,
 author       = {R. Reiter},
 year         = {1988},
 title        = {On integrity constraints},
 booktitle    = {Proceedings of the 2nd Conference on Theoretical aspects of Reasoning about Knowledge (TARK'88)},
 publisher    = {Morgan Kaufmann Publishers},
 pages        = {97--111},
)
@article(ShohamJPL,
 author       = {Y. Shoham},
 year         = {2009},
 title        = {Logical Theories of Intention and the Database Perspective},
 journal      = {Journal of Philosophical Logic},
 volume       = {38},
 number       = {6},
 pages        = {633--648},
 doi          = {10.1007/s10992-009-9116-8},
)
@article(StalnakerCommonGround,
 author       = {R. Stalnaker},
 year         = {2002},
 title        = {Common ground},
 journal      = {Linguistics and Philosophy},
 volume       = {25(5-6)},
 pages        = {701--721},
 doi          = {10.1023/A:1020867916902},
)
@inproceedings(StockmeyerQBF,
 author       = {L. J. Stockmeyer},
 year         = {1973},
 title        = {Word problems requiring exponential time (Preliminary Report)},
 booktitle    = {Proceedings of the Fifth Annual ACM symposium on Theory of Computing (STOC '73)},
 publisher    = {ACM},
 pages        = {1--9},
 doi          = {10.1145/800125.804029},
)