What will they say?—Public Announcement Games

Ågotnes T., Balbiani P., van Ditmarsch H., Seban P. (2010a) Group announcement logic. Journal of Applied Logic 8(1): 62–81

Ågotnes, T., van Benthem, J., van Ditmarsch, H., & Minica, S. (2010b). Question-answer games. 9th conference on logic and the foundations of game and decision theory (LOFT 2010) (informal proceedings).

ågotnes T., van Ditmarsch H. (2008) Coalitions and announcements. In: Padgham L., Parkes D., Muller J., Parsons S. (eds) Proceedings of the seventh international conference on autonomous agents and multiagent systems (AAMAS 2008). Portugal, Estoril IFAMAAS/ACM DL, pp 673–680

Aucher, G. (2003). A combined system for update logic and belief revision. Master’s thesis, ILLC, University of Amsterdam, Amsterdam, The Netherlands. ILLC report MoL-2003-03.

Balbiani P., Baltag A., van Ditmarsch H., Herzig A., Hoshi T., Lima T. D. (2008) Knowable’ as known after an announcement. Review of Symbolic Logic 1(3): 305–334

Baltag, A., Moss, L., & Solecki, S. (1998). The logic of public announcements, common knowledge, and private suspicions. In I. Gilboa (Ed.), Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK 98) (pp. 43–56).

Baltag A., Smets S. (2008) Dynamic belief revision over multi-agent plausibility models. In: Bonanno G., Hoek W., Wooldridge M. (eds) After-conference proceedings of LOFT 2006. Amsterdam University Press, Amsterdam

Boutilier C., Brafman R. I., Domschlak C., Hoos H. H., Poole D. (2003) CP-Nets: A tool for representing and reasoning with conditional Ceteris Paribus preference statements. Journal of Artificial Intelligence Research 21: 135–191

Boutilier, C., Brafman, R. I., Hoos, H. H., & Poole, D. (1999) Reasoning with conditional ceteris paribus preference statements. In Proceedings of UAI99 (pp. 71–80). Stockholm, Sweden.

Boutilier C., Brafman R. I., Hoos H. H., Poole D. (2004) Preference-based constrained optimization with CP-nets. Computational Intelligence 20(2): 137–157

Elkind E., Goldberg L. A., Goldberg P., Wooldridge M. (2009) A tractable and expressive class of marginal contribution nets and its applications. Mathematical Logic Quarterly 55(4): 362–376

Fagin R., Halpern J., Moses Y., Vardi M. (1995) Reasoning about knowledge. MIT Press, Cambridge, MA

Gerbrandy, J. (1999). Bisimulations on Planet Kripke. Ph.D. thesis, University of Amsterdam. ILLC Dissertation Series DS-1999-01.

Gerbrandy J., Groeneveld W. (1997) Reasoning about information change. Journal of Logic, Language, and Information 6: 147–169

Goranko V., Otto M. (2007) Model theory of modal logic. In: Blackburn P., van Benthem J., Wolter F. (eds) Handbook of modal logic. Kluwer, Dordrecht, pp 249–329

Harel D. (1984) Dynamic logic. In: Gabbay D., Guenthner F. (eds) Handbook of philosophical logic. Kluwer Academic Publishers, Dordrecht, pp 497–604

Harel D., Kozen D., Tiuryn J. (2000) Dynamic logic. MIT Press, Foundations of Computing Series, Cambridge, MA

Harrenstein, P. (2004). Logic in conflict. Ph.D. thesis, Utrecht University, Utrecht.

Harrenstein P., van der Hoek W., Meyer J.-J., Witteveen C. (2001) Boolean Games. In: Benthem J. (eds) Proceeding of the eighth conference on theoretical aspects of rationality and knowledge (TARK VIII). Siena, Italy, pp 287–298

Harsanyi, J. C. (1967–1968). Games with incomplete information played by ‘Bayesian’ players, parts I, II, and III. Management Science 14, 159–182, 320–334, 486–502.

Hintikka J. (1962) Knowledge and belief. Cornell University Press, Ithaca, NY

Ieong, S., & Shoham, Y. (2005). Marginal contribution nets: A compact representation scheme for coalitional games. In Proceedings of the sixth ACM conference on electronic commerce (EC’05). Vancouver, Canada.

Jamroga, W., & Ågotnes, T. (2006). What agents can achieve under incomplete information. In P. Stone & G. Weiss (Eds.), Proceedings of the fifth international joint conference on autonomous agents and multi-agent systems (AAMAS) (pp. 232–234), ACM Press.

Jamroga W., Ågotnes T. (2007) Constructive knowledge: What agents can achieve under imperfect information. Journal of Applied Non-Classical Logics 17(4): 423–475

Jamroga W., van der Hoek W. (2004) Agents that know how to play. Fundamenta Informaticae 63: 185–219

Lang, J., Endriss, U., & Chevaleyre, Y. (2006) Expressive power of weighted propositional formulas for cardinal preference modelling. In Proceedings of knowledge representation and reasoning (KR 2006). Lake District, England.

Meyer J.-J., van der Hoek W. (1995) Epistemic logic for AI and computer science, Cambridge tracts in theoretical computer science 41. Cambridge University Press, Cambridge

Osborne M. (2004) An introduction to game theory. Oxford University Press, New York

Osborne M., Rubinstein A. (1994) A course in game theory. MIT Press, Cambridge, MA

Plaza, J. (1989). Logics of public communications. In M. Emrich, M. Pfeifer, M. Hadzikadic,& Z. Ras (Eds.), Proceedings of the 4th international symposium on methodologies for intelligent systems: Poster session program (pp. 201–216). Oak Ridge National Laboratory. ORNL/DSRD-24.

Uckelman J., Chevaleyre Y., Endriss U., Lang J. (2009) Representing utility functions via weighted goals. Mathematical Logic Quarterly 55(4): 341–361

van Benthem, J. (1989) Semantic parallels in natural language and computation. In Logic colloquium ’87. Amsterdam, North-Holland.

van Benthem, J. (2002) One is a lonely number: On the logic of communication. Technical report, University of Amsterdam. ILLC Research Report PP-2002-27 (material presented at the Logic Colloquium 2002).

van Benthem J., Gerbrandy J., Hoshi T., Pacuit E. (2009) Merging frameworks for interaction. Journal of Philosophical Logic 38: 491–526

van Benthem J., Liu F. (2007) Dynamic logic of preference upgrade. Journal of Applied Non-Classical Logics 17(2): 157–182

van Benthem, J., & Minica, S. (2009). Toward a dynamic logic of questions. In X. He, J. Horty, & E. Pacuit (Eds.), Logic, rationality, and interaction. Proceedings of LORI 2009 (pp. 27–41). LNCS 5834. Springer

van Benthem J., van Eijck J., Kooi B. (2006) Logics of communication and change. Information and Computation 204(11): 1620–1662

van der Hoek W., Pauly M. (2006) Modal logic for games and information. In: van Benthem J., Blackburn P., Wolter F. (eds) The handbook of modal logic. Elsevier, Amsterdam, The Netherlands, pp 1152–1180

van Ditmarsch, H. (2000). Knowledge games. Ph.D. thesis, ILLC Dissertation Series DS-2000-06, University of Groningen.

van Ditmarsch H. (2002) The description of game actions in Cluedo. In: Petrosian L., Mazalov V. (eds) Game theory and applications. Nova Science Publishers, Commack, NY, USA, pp 1–28

van Ditmarsch, H. (2004). Some game theory of Pit. In C. Zhang, H. Guesgen, W. Yeap (Eds.), Proceedings of PRICAI 2004 (Eighth pacific rim international conference on artificial intelligence) (pp. 946–947). LNAI 3157, Springer.

van Ditmarsch H. (2005) Prolegomena to dynamic logic for belief revision. Synthese Knowledge, Rationality & Action 147: 229–275

van Ditmarsch H., Kooi B. (2006) The secret of my success. Synthese 151: 201–232

van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2005). Dynamic epistemic logic with assignment. In Proceedings of the fourth international joint conference on autonomous agents and multi-agent systems (AAMAS 05) (pp. 141–148). New York: ACM Inc.

van Ditmarsch H., van der Hoek W., Kooi B. (2007) Dynamic epistemic logic Vol. 337 of synthese library. Springer, Heidelberg

van Linder B., van der Hoek W., Meyer J.-J. (1995) Actions that make you change your mind. In: Laux A., Wansing H. (eds) Knowledge and belief in philosophy and artificial intelligence. Akademie Verlag, Berlin, pp 103–146

von Wright G. (1951) An essay in modal logic. North Holland, Amsterdam