References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. J. van Benthem & D. Klein (2019): Logics for Analyzing Games. In: Stanford Encyclopedia of Philosophy.
  7. 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.
  8. P. Blackburn, M. de Rijke & Y. Venema: Modal Logic. Cambridge University Press, Cambridge, doi:10.1017/CBO9781107050884.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. R. Fagin, J. Halpern, Y. Moses & M. Vardi (1995): Reasoning about Knowledge. MIT Press, Cambridge, doi:10.7551/mitpress/5803.001.0001.
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. S. O. Hansson (1999): A Textbook of Belief Dynamics: Theory Change and Database Updating. Kluwer, Dordrecht, doi:10.1007/978-94-007-0814-3.
  22. J. C. Harsanyi (1967): Games with incomplete information played by `Bayesian' players. Management Science 14, pp. 159–182, doi:10.1287/mnsc.1040.0270.
  23. 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.
  24. A. Heifetz & D. Samet (1998): Topology-Free Typology of Beliefs. Journal of Economic Theory 82, pp. 324–341, doi:10.1006/jeth.1998.2435.
  25. E. Hemaspaandra (1996): The Price of Universality. Notre Dame Journal of Formal Logic 37(2), pp. 174–203, doi:10.1305/ndjfl/1040046086.
  26. J. Hintikka (1962): Knowledge and Belief. An introduction to the logic of the two notions. Cornell University Press, New York.
  27. 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.
  28. 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.
  29. 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.
  30. 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.
  31. 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.
  32. 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.
  33. 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.
  34. 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.
  35. D. Makinson & L. van der Torre (2000): Input/output logics. Journal of Philosophical Logic 29, pp. 383–408, doi:10.1023/A:1004748624537.
  36. 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.
  37. 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.
  38. 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.
  39. 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.
  40. R. Stalnaker (2002): Common ground. Linguistics and Philosophy 25(5-6), pp. 701–721, doi:10.1023/A:1020867916902.
  41. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org