Computation as Conversation

  • Johan van Benthem


Model Check Modal Logic Belief Revision Winning Strategy Epistemic Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Abramsky 2006]
    Abramsky S. (2006) Information, Processes, and Games. To appear in Adriaans P., van Benthem J. (eds.), Handbook of the Philosophy of Information. Elsevier Science Publishers, AmsterdamGoogle Scholar
  2. [Abramsky & Coecke 2004]
    Abramsky S., Coecke B. (2004) A Categorical Semantics of Quantum Protocols. In Proceedings of the 19th Annual IEEE Symposium on Logic in Com-puter Science (LiCS ‘04), IEEE Computer Science PressGoogle Scholar
  3. [Baltag et al. 1998]
    Baltag A., Moss L., Solecki S. (1998) The Logic of Public Announce-ments, Common Knowledge and Private Suspicions. In Proceedings TARK 1998, Morgan Kaufmann Publishers, Los Altos, 43-56Google Scholar
  4. [Baltag & Smets 2004]
    Baltag A., Smets, S. (2004) The Logic of Quantum Programs. In Pro-ceedings of the 2nd International Workshop on Quantum Programming Languages, TUCS General Publication No 33, Turku Center for Computer Science. Extended version: LQP: The Dynamic Logic of Quantum Information. Oxford Computing Lab & Philosophy, Free University BrusselsGoogle Scholar
  5. [Baltag & Smets 2006]
    Baltag A., Smets S. (2006) Dynamic Belief Revision over Multi-Agent Plausibility Models. In Proceedings LOFT 2006, Department of Computing, University of LiverpoolGoogle Scholar
  6. [van Benthem 1996]
    van Benthem J. (1996) Exploring Logical Dynamics. CSLI Publications, StanfordMATHGoogle Scholar
  7. [van Benthem 1999]
    van Benthem J. (1999) Logic in Games. Lecture Notes, ILLC AmsterdamGoogle Scholar
  8. [van Benthem 2001]
    van Benthem J. (2001) Games in Dynamic Epistemic Logic. In Bo-nanno G., van der Hoek W. (eds.) Bulletin of Economic Research, 53:4, 219-248Google Scholar
  9. [van Benthem 2005A]
    van Benthem J. (2005) An Essay on Sabotage and Obstruction. In D. Hutter (ed.), Mechanizing Mathematical Reasoning, Essays in Honor of Jörg Siekmann on the Occasion of his 69th Birthday. Springer, LNCS, 2605:268-276Google Scholar
  10. [van Benthem 2005B]
    van Benthem J. (2005) Open Problems in Logic and Games. In Arte-mov S., Barringer H., d’Avila Garcez A., Lamb L., Woods J. (eds.) Essays in Honour of Dov Gabbay. King’s College Publications, London, 229-264Google Scholar
  11. [van Benthem 2006A]
    van Benthem J. (2006) Dynamic Logic of Belief Revision. ILLC Tech Report, DARE electronic archive, University of Amsterdam. To appear in J. Applied Non-Classical LogicsGoogle Scholar
  12. [van Benthem 2006B]
    van Benthem J. (2006) Living With Rational Animals. Invited Lecture at Workshop on Knowledge and Rationality, 18th ESSLLI Summer School, MalagaGoogle Scholar
  13. [van Benthem 2006C]
    van Benthem J. (2006) One is a Lonely Number: On the Logic of Communication. In: Chatzidakis Z., Koepke P., Pohlers W. (eds.) Logic Colloquium ’02. ASL and A.K. Peters, Wellesley MA, 96-129Google Scholar
  14. [van Benthem 2006D]
    van Benthem J. (2006) Open Problems in Update Logic. In Gabbay D., Goncharov S., Zakharyashev M. (eds.) Mathematical Problems from Applied Logic I. Springer, New York, Novosibirsk, 137-192CrossRefGoogle Scholar
  15. [van Benthem 2007]
    Rationalizations and Promises in Games. Bejing Philosphical Review, Chinese Academy of Social SciencesGoogle Scholar
  16. [van Benthem et al. 2005]
    van Benthem J., van Eijck J., Kooi B. (2005) A Logic for Commu-nication and Change. ILLC & CWI Amsterdam & philosophy department, Groningen. First version in van der Meijden R. et al. (eds.) Proceedings TARK 2005, Singapore. Extended version in: Inform. and Comput. 2006Google Scholar
  17. [van Benthem & Blackburn 2006]
    van Benthem J., Blackburn P. (2006) Modal Logic: A Se-mantic Perspective. Tech Report, ILLC, Amsterdam. In: Blackburn P., van Benthem J., Wolter F. (eds.) Handbook of Modal Logic. Elsevier, Amsterdam, 2007Google Scholar
  18. [van Benthem & Liu 2004]
    van Benthem J., Liu F. (2004) Diversity of Logical Agents in Games. Philosophia Scientiae 8:2, 163-178Google Scholar
  19. [van Benthem & Liu 2005]
    van Benthem J., Liu F. (2005) Dynamic Logic of Preference Up-grade. ILLC Tech Report, DARE electronic archive, University of Amsterdam. To appear in: J. Applied Non-Classical LogicsGoogle Scholar
  20. [van Benthem & Pacuit 2006]
    van Benthem J., Pacuit E. (2006) The Tree of Knowledge in Action. Tech Report, ILLC Amsterdam. In: Proceedings AiML 2006, MelbourneGoogle Scholar
  21. [Brafman et al. 1993]
    Brafman R., Latombe J-C, Shoham Y. (1993) Towards Knowledge-Level Analysis of Motion Planning. Proceedings AAAI 1993, 670-675Google Scholar
  22. [Condon 1988]
    Condon A. (1988) Computational Models of Games. PhD Thesis. Computer Science Department, University of WashingtonGoogle Scholar
  23. [Dechesne & Wang 2007]
    Dechesne F., Wang Y. (2007) Dynamic Epistemic Verification of Security Protocols. In van Benthem J., Ju S., Veltman F. (eds.) A Meeting of the Minds. Proceedings LORI, Bejing 2007. College Publications, London, 129-143Google Scholar
  24. [van Ditmarsch 2002]
    van Ditmarsch H. (2002) Keeping Secrets with Public Communication. Department of Computer Science. University of OtagoGoogle Scholar
  25. [van Emde Boas 2002]
    van Emde Boas P. (2002) Models for Games and Complexity. Lecture Notes. ILLC, AmsterdamGoogle Scholar
  26. [Fagin et al. 1995]
    Fagin R., Halpern J., Moses Y., Vardi M. (1995) Reasoning about Knowl-edge. MIT Press, Cambridge (Mass.)Google Scholar
  27. [Gerbrandy 1999]
    Gerbrandy J. (1999) Bisimulations on Planet Kripke. Dissertation DS-1999-01. Institute for Logic, Language and Computation. University of AmsterdamGoogle Scholar
  28. [Gigerenzer & Todd 1999]
    Gigerenzer G., Todd P. M., ABC Research Group (1999) Simple Heuristics That Make Us Smart. Oxford University PressGoogle Scholar
  29. [Greenlaw et al. 1991]
    Greenlaw R., Hoover H., Ruzzo W. (1991) A Compendium of Prob-lems Complete for P. University of Alberta, Computer Science Department, Technical Re-port 91-11Google Scholar
  30. [Halpern & Vardi 1989]
    Halpern J., Vardi M. (1989) The Complexity of Reasoning about Knowledge and Time, I: lower bounds. J. Comput. System Sci., 38:1, 195-237MATHCrossRefMathSciNetGoogle Scholar
  31. [Hintikka 1962]
    Hintikka J. (1962) Knowledge and Belief. Cornell University Press, IthacaGoogle Scholar
  32. [Hintikka & Sandu 1997]
    Hintikka J., Sandu G. (1997) Game-Theoretical Semantics, In van Benthem J., ter Meulen A. (eds.) Handbook of Logic and Language, Elsevier, Amsterdam, 361-410.CrossRefGoogle Scholar
  33. [Kozen et al. 2000]
    Kozen D., Harel D., Tiuryn J. (2000) Dynamic Logic. MIT Press, Cam-bridge (Mass.)Google Scholar
  34. [Liu 2006]
    Liu F. (2006) Diversity of Logical Agents. ILLC Research Report, University of Amsterdam. Presented at Workshop on Bounded Agents, ESSLLI Malaga 2006Google Scholar
  35. [Lutz 2005]
    Lutz C. (2005) Complexity and Succinctness of Public Announcement Logic. LTCS Report 05-09, Technical University DresdenGoogle Scholar
  36. [Marx 2006]
    Marx M. (2006) Complexity of Modal Logics. To appear in Blackburn P., van Benthem J., Wolter F. (eds.) Handbook of Modal Logic. Elsevier, AmsterdamGoogle Scholar
  37. [Miller & Moss 2005]
    Miller J., Moss L. (2005) The undecidability of iterated modal rela-tivization. Studia Logica, 79:3, 373-407MATHCrossRefMathSciNetGoogle Scholar
  38. [Osborne & Rubinstein 1994]
    Osborne M., Rubinstein A. (1994) A Course in Game Theory. MIT Press, Cambridge (Mass.)Google Scholar
  39. [van Otterloo 2005]
    A Security Analysis of Multi-Agent Protocols. Dissertation. Department of Computing, University of Liverpool, & ILLC, University of Amsterdam, DS-2005-05Google Scholar
  40. [Papadimitriou 1994]
    Papadimitriou C. (1994) Computational Complexity. Addison-WesleyGoogle Scholar
  41. [Parikh 2002]
    Parikh R. (2002) Social Software. Synthese 132:187-211MATHMathSciNetGoogle Scholar
  42. [Parikh & Ramanujam 2003]
    Parikh R., Ramanujam R. (2003) A Knowledge Based Semantics of Messages. CUNY New York & Chennai, India. In van Benthem J., van Rooy R. (eds.) Special Issue on Information Theories, J. Logic Lang. Inform., 12:4, 453-467Google Scholar
  43. [Plaza 1989]
    Plaza J. (1989) Logics of Public Announcements. In Proceedings 4th Interna-tional Symposium on Methodologies for Intelligent SystemsGoogle Scholar
  44. [Pratt 1976]
    Pratt V. (1976) Semantical Considerations on Floyd-Hoare Logic. In Proceedings 17th Ann. IEEE Symposium on Foundations of Computer Science, 109-121Google Scholar
  45. [Rahman et al. 2004]
    Rahman S., Gabbay D., Van Bendegem J-P , Symons J. (2004) Logic, Epistemology, and the Unity of Science, Vol. I. Kluwer, DordrechtGoogle Scholar
  46. [Reiter 2001]
    Reiter R. (2001) Knowledge in Action. MIT Press, Cambridge (Mass.)MATHGoogle Scholar
  47. [Rohde 2005]
    Rohde Ph. (2005) On Games and Logics over Dynamically Changing Struc-tures. Dissertation. Rheinisch-Westfälische Technische Hochschule AachenGoogle Scholar
  48. [Sevenster 2006]
    Sevenster M. (2006) Branches of Imperfect Information: Logic, Games, and Computation. Dissertation DS-2006-06. ILLC AmsterdamGoogle Scholar
  49. [Turing 1950]
    Turing A. M. (1950) Computing machinery and intelligence. Mind 59:433-460CrossRefMathSciNetGoogle Scholar
  50. [Vardi 1997]
    Vardi M. (1997) Why is Modal Logic So Robustly Decidable?. In Immerman N., Kolaitis Ph. (eds.) Descriptive Complexity and Finite Models. American Mathematical SocietyGoogle Scholar
  51. [Yao 1979]
    Yao A. C. (1979) Some Complexity Questions Related to Distributed Computing. In Proceedings of the 11th STOC, 209-213Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2008

Authors and Affiliations

  • Johan van Benthem
    • 1
  1. 1.Department of PhilosophyStanford UniversityStanfordUSA

Personalised recommendations