Toward a Dynamic Logic of Questions

  • Johan van Benthem
  • Ştefan Minică
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5834)


Questions are triggers for explicit events of ‘issue management’. We give a complete logic in dynamic-epistemic style for events of raising, refining, and resolving an issue, all in the presence of information flow through observation or communication. We explore extensions of the framework to longer-term temporal protocols and multi-agent scenarios. We sketch a comparison with two main alternative accounts: Hintikka’s interrogative logic and Groenendijk’s inquisitive semantics.


question issue management logical dynamics 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    van Benthem, J.: One is a Lonely Number. In: Chatzidakis, Z., Koepke, P., Pohlers, W. (eds.) Logic Colloquium 2002, pp. 96–129. ASL & A.K. Peters, Wellesley, MA (2006)Google Scholar
  2. 2.
    van Benthem, J.: The Information in Intuitionistic Logic. Synthese 2, 167 (2008)Google Scholar
  3. 3.
    van Benthem, J.: Reflections on Epistemic Logic. Logique et Analyse 34 (1993)Google Scholar
  4. 4.
    van Benthem, J.: Dynamic Logic of Belief Revision. Journal of Applied Non-classical Logics 2, 17 (2007)MathSciNetzbMATHGoogle Scholar
  5. 5.
    van Benthem, J., Gerbrandy, J., Hoshi, T., Pacuit, E.: Merging Frameworks of Interaction. Journal of Philosophical Logic (2009)Google Scholar
  6. 6.
    van Benthem, J., Girard, P., Roy, O.: Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences. Journal of Philosophical Logic 38, 83–125 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    van Benthem, J., Minică, Ş.: Dynamic Logic of Questions. Institute for Logic, Language and Computation, working paper (2009)Google Scholar
  8. 8.
    van Benthem, J., Velazquez-Quesada, F.R.: Inference, Promotion and the Dynamics of Awareness. ILLC, working paper (2009)Google Scholar
  9. 9.
    van Benthem, J., Liu, F.: Dynamic Logic of Preference Upgrade. Journal of Applied Non-Classical Logic 17, 157–182 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Ågotnes, T., van Ditmarsch, H.: But what will Everyone Say? - Public Announcement Games. In: Proceedings of Logic, Game Theory and Social Choice 6, Tsukuba, August 26-29 (2009)Google Scholar
  11. 11.
    Baltag, A., Smets, S.: From Conditional Probability to the Logic of Doxastic Actions. In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge, New York, pp. 52–61 (2007)Google Scholar
  12. 12.
    Wiśniewski, A.: The Posing of Questions: Logical Foundations of Erotetic Inferences. Kluwer Academic Publishers, Dordrecht (1995)CrossRefGoogle Scholar
  13. 13.
    Hintikka, J., Halonen, I., Mutanen, A.: Interogative Logic as a General Theory of Reasoning. In: Gabbay, D., Johnson, R., Ohlbach, H. (eds.) Handbook of the Logic of Argument and Inference. Elsevier, Amsterdam (2002)Google Scholar
  14. 14.
    Hintikka, J.: Socratic Epistemology: Explorations of Knowledge-Seeking by Questioning. Cambridge University Press, Cambridge (2007)CrossRefGoogle Scholar
  15. 15.
    Ciardelli, I., Roelofsen, F.: Generalized Inquisitive Logic: Completeness via Intuitionistic Kripke Models. In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, California, pp. 71–80 (2009)Google Scholar
  16. 16.
    Groenendijk, J., Stokhof, M.: Questions. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language. Elsevier, Amsterdam (1997)Google Scholar
  17. 17.
    Groenendijk, J.: The Logic of Interrogation: Classical Version. In: Matthews, T., Strolovitch, M. (eds.) SALT IX: Semantics and Linguistic Theory (1999)Google Scholar
  18. 18.
    Groenendijk, J.: Inquisitive Semantics: Two possibilities for disjunction. In: 7th International Tibilisi Symposium on Language, Logic & Computation, Tibilisi (2008)Google Scholar
  19. 19.
    Kelly, K.: The Logic of Reliable Inquiry. Oxford University Press, Oxford (1996)zbMATHGoogle Scholar
  20. 20.
    Belnap, N., Steel, T.: The Logic of Questions and Answers. Yale Univ. Press (1976)Google Scholar
  21. 21.
    Andérka, H., Ryan, M., Schobbens, P.-Y.: Operators and Laws for Combining Preference Relations. Journal of Logic and Computation 1, 12 (2002)MathSciNetGoogle Scholar
  22. 22.
    van Ditmarsch, H.: Knowledge Games. Ph.D. Thesis, Institute for Logic, Language and Computation, Amsterdam (2000)Google Scholar
  23. 23.
    Girard, P.: Modal Logic for Belief and Preference Change. Ph.D. Thesis. Stanford University, Stanford (2008)Google Scholar
  24. 24.
    Liu, F.: Changing for the Better - Preference Dynamics and Agent Diversity. Ph.D. Thesis, Institute for Logic, Language and Computation, Amsterdam (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Johan van Benthem
    • 1
    • 2
  • Ştefan Minică
    • 1
  1. 1.Institute for Logic, Language and ComputationUniversity of AmsterdamAmsterdamthe Netherlands
  2. 2.Department of PhilosophyStanford UniversityStanfordUSA

Personalised recommendations