论文信息 - Generalized inquisitive logic: completeness via intuitionistic Kripke models

Generalized inquisitive logic: completeness via intuitionistic Kripke models

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.

Floris Roelofsen | Ivano Ciardelli

[1] Saul A. Kripke,et al. Semantical Analysis of Intuitionistic Logic I , 1965 .

[2] Jeroen Groenendijk,et al. Inquisitive Semantics: Two Possibilities for Disjunction , 2009, TbiLLC.

[3] May R. Berenbaum. A Theme on Variations , 1985 .

[4] J. Groenendijk,et al. Might and Free Choice in Inquisitive Semantics , 2009 .

[5] Johan van Benthem,et al. The information in intuitionistic logic , 2009, Synthese.

[6] Floris Roelofsen,et al. Inquisitive semantics and pragmatics , 2009 .

[7] Katsuhiko Sano,et al. Sound and Complete Tree-Sequent Calculus for Inquisitive Logic , 2009, WoLLIC.

[8] Hilary Putnam,et al. Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül , 1957, Arch. Math. Log..

[9] Floris Roelofsen,et al. Attention! 'Might' in Inquisitive Semantics , 2009 .

[10] Salvador Mascarenhas,et al. Inquisitive Semantics and Logic , 2009 .

[11] Ivano Ciardelli,et al. A generalized inquisitive semantics.∗ , 2009 .

[12] Jeroen Groenendijk,et al. Inquisitive Semantics and Dialogue Management , 2008 .