Generalized inquisitive logic: completeness via intuitionistic Kripke models

ABSTRACT

This paper investigates a generalized version of inquisitive semantics (Groenendijk, 2008b; Mascarenhas, 2008). A complete axiomatization of the associated logic is established. The connection with intuitionistic logic is clarified and heavily exploited.

REFERENCES

• 1: Balogh, K. (2009). Theme with variations. Forthcoming PhD thesis.
• 2: Ciardelli, I. (2008). A generalized inquisitive semantics. Term Paper, University of Amsterdam.
• 3: Ciardelli, I., Groenendijk, J., and Roelofsen, F. (2009). Might and free choice in inquisitive semantics. Accepted by Semantics and Linguistic Theory.
• 4: Groenendijk, J. (2008a). Inquisitive semantics and dialogue management. ESSLLI course notes, www.illc.uva.nl/inquisitive-semantics.
• 5: Groenendijk, J. (2008b). Inquisitive semantics: Two possibilities for disjunction. In P. Bosch, D. Gabelaia, and J. Lang, editors, Seventh International Tbilisi Symposium on Language, Logic, and Computation. Springer-Verlag.
• 6: Groenendijk, J. and Roelofsen, F. (2009). Inquisitive semantics and pragmatics. In Proceedings of the ILCLI International Workshop on Semantics, Pragmatics, and Rhetoric. University of the Basque Country Press.
• 7: Kreisel, G. and Putnam, H. (1957). Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Archiv für Mathematische Logik und Grundlagenforschung, <b>3</b>, 74--78.
• 8: Kripke, S. (1965). Semantical analysis of intuitionistic logic I. In J. Crossley and M. Dummett, editors, Formal systems and recursive functions, pages 92--130. North-Holland, Amsterdam.
• 9: Mascarenhas, S. (2008). Inquisitive semantics and logic. Manuscript, University of Amsterdam.
• 10: Mascarenhas, S. (2009). Inquisitive semantics and logic. Forthcoming Master Thesis, University of Amsterdam.
• 11: Katsuhiko Sano, Sound and Complete Tree-Sequent Calculus for Inquisitive Logic, Proceedings of the 16th International Workshop on Logic, Language, Information and Computation, June 21-24, 2009, Tokyo, Japan [doi>10.1007/978-3-642-02261-6_29]
• 12: Stalnaker, R. (1978). Assertion. Syntax and Semantics, <b>9</b>, 315--332.
• 13: van Benthem, J. (2008). The information in intuitionistic logic. Manuscript, University of Amsterdam. To appear in Synthese.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.4 Knowledge Representation Formalisms and Methods

Additional Classification:
  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.1 Mathematical Logic
          Subjects: Logic and constraint programming

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.3 Deduction and Theorem Proving
          Subjects: Logic programming

General Terms:
Algorithms, Design, Theory