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