A Generalization of Inquisitive Semantics


This paper introduces a generalized version of inquisitive semantics, denoted as GIS, and concentrates especially on the role of disjunction in this general framework. Two alternative semantic conditions for disjunction are compared: the first one corresponds to the so-called tensor operator of dependence logic, and the second one is the standard condition for inquisitive disjunction. It is shown that GIS is intimately related to intuitionistic logic and its Kripke semantics. Using this framework, it is shown that the main results concerning inquisitive semantics, especially the axiomatization of inquisitive logic, can be viewed as particular cases of more general phenomena. In this connection, a class of non-standard superintuitionistic logics is introduced and studied. These logics share many interesting features with inquisitive logic, which is the strongest logic of this class.

This is a preview of subscription content, access via your institution.


  1. 1.

    The reason why the words “local” and “global” are used in this context will be clarified later.

  2. 2.

    The modal logic of the mentioned semantics from [1] is S4, which is, as is well known, a so-called modal companion of intuitionistic logic (see, e.g., [6]).

  3. 3.

    Medvedev logic is defined at the end of this section.

  4. 4.

    I am grateful to Nick Bezhanishvili for informing me of these two theorems.


  1. 1.

    Aiello, M., van Benthem, J., & Bezhanishvili, G. (2003). Reasoning about space: the modal way. Journal of Logic and Computation, 13, 889–920.

    Article  Google Scholar 

  2. 2.

    Alexandroff, P. (1937). Diskrete Räume. Matematicheskii Sbornik, 2, 501–519.

    Google Scholar 

  3. 3.

    Ciardelli, I. (2009). Inquisitive semantics and intermediate logics. MSc thesis, Amsterdam.

  4. 4.

    Ciardelli, I., & Roelofsen, F. (2011). Inquisitive logic. Journal of Philosophical Logic, 40, 55–94.

    Article  Google Scholar 

  5. 5.

    Ciardelli, I., Groenendijk, J., & Roelofsen, F. (2013). Inquisitive semantics: a new notion of meaning. Language and Linguistics Compass, 7, 459–476.

    Article  Google Scholar 

  6. 6.

    Chargov, A., & Zakharyaschev, M. (1992). Modal companions of intermediate propositional logics. Studia Logica, 51, 49–82.

    Article  Google Scholar 

  7. 7.

    Chargov, A., & Zakharyaschev, M. (1997). Modal logic. Oxford: Clarendon Press.

    Google Scholar 

  8. 8.

    de Lavalette, G., Hendriks, L, & de Jongh, D. (2012). Intuitionistic implication without disjunction. Journal of Logic and Computation, 22, 375–404.

    Article  Google Scholar 

  9. 9.

    van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2008). Dynamic epistemic logic. Dordrecht: Springer.

    Google Scholar 

  10. 10.

    Groenendijk, J., & Roelofsen, F. (2009). Inquisitive Semantics and Pragmatics. In Larrazabal, J., & Zubeldia, L. (Eds.) Meaning, Content, and Argument: Proceedings of the ILCLI International Workshop on Semantics, Pragmatics, and Rhetoric. Available at www.illc.uva.nl/inquisitivesemantics.

  11. 11.

    Maksimova, L. (1986). On maximal intermediate logics with the disjunction property. Studia Logica, 45, 69–75.

    Article  Google Scholar 

  12. 12.

    Medvedev, J.T. (1962). Finite problems. Doklady Akademii Nauk SSSR, 3, 227–230.

    Google Scholar 

  13. 13.

    Miglioli, P., Moscato, U., Ornaghi, M., Quazza, S., & Usberti, G. (1989). Some results on intermediate constructive logics. Notre Dame Journal of Formal Logic, 30, 543–562.

    Article  Google Scholar 

  14. 14.

    Punčochář, V. (2012). Some modifications of Carnap’s modal logic. Studia Logica, 100, 517–543.

    Article  Google Scholar 

  15. 15.

    Roelofsen, F. (2013). Algebraic foundations for the semantic treatment of inquisitive content. Synthese, 190, 79–12.

    Article  Google Scholar 

  16. 16.

    Schurz, G. (2001). Rudolf Carnap’s modal logic. In Stelzner, W., & Stöckler, M (Eds.) Zwischen traditioneller und moderner Logik. Nichtklassische Anstze. Paderborn: Mentis.

  17. 17.

    Stalnaker, R. (1999). Context and content. Oxford: Oxford University Press.

    Book  Google Scholar 

  18. 18.

    Tarski, A. (1938). Der Aussagenkalkül und die Topologie. Fundamenta Mathematicae, 31, 103–134.

    Google Scholar 

  19. 19.

    Väänänen, J. (2008). Modal Dependence Logic. In Apt, K.R., & van Rooij, R (Eds.) New perspectives in logic and interaction (pp. 237–254). Amsterdam: Amsterdam University Press.

  20. 20.

    van Dalen, D. (2001). Intuitionistic logic. In Gobble, L. (Ed.) The Blackwell guide to philosophical logic (pp. 224–257). Oxford: Blackwell.

  21. 21.

    Yang, F. (2014). On extensions and variants of dependence logic. PhD thesis, University of Helsinki.

  22. 22.

    Zakharyaschev, M. (1994). A new solution to a problem of Hosoi and Ono. Notre Dame Journal of Formal Logic, 35, 450–457.

    Article  Google Scholar 

Download references

Author information



Corresponding author

Correspondence to Vít Punčochář.

Additional information

The work on this paper was supported by grant no. 13-21076S of the Czech Science Foundation. I am also grateful to Ivano Ciardelli and the anonymous reviewers for their very helpful suggestions.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Punčochář, V. A Generalization of Inquisitive Semantics. J Philos Logic 45, 399–428 (2016). https://doi.org/10.1007/s10992-015-9379-1

Download citation


  • Intuitionistic logic
  • Superintuitionistic logics
  • Inquisitive logic
  • Topological semantics
  • Kripke semantics
  • Disjunction