Advertisement

Toward a Dynamic Logic of Questions

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

Abstract

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.

Keywords

question issue management logical dynamics 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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