Journal of Philosophical Logic

, Volume 45, Issue 4, pp 399–428 | Cite as

A Generalization of Inquisitive Semantics

  • Vít Punčochář


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.


Intuitionistic logic Superintuitionistic logics Inquisitive logic Topological semantics Kripke semantics Disjunction 


  1. 1.
    Aiello, M., van Benthem, J., & Bezhanishvili, G. (2003). Reasoning about space: the modal way. Journal of Logic and Computation, 13, 889–920.CrossRefGoogle 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.Google Scholar
  4. 4.
    Ciardelli, I., & Roelofsen, F. (2011). Inquisitive logic. Journal of Philosophical Logic, 40, 55–94.CrossRefGoogle Scholar
  5. 5.
    Ciardelli, I., Groenendijk, J., & Roelofsen, F. (2013). Inquisitive semantics: a new notion of meaning. Language and Linguistics Compass, 7, 459–476.CrossRefGoogle Scholar
  6. 6.
    Chargov, A., & Zakharyaschev, M. (1992). Modal companions of intermediate propositional logics. Studia Logica, 51, 49–82.CrossRefGoogle 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.CrossRefGoogle 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
  11. 11.
    Maksimova, L. (1986). On maximal intermediate logics with the disjunction property. Studia Logica, 45, 69–75.CrossRefGoogle 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.CrossRefGoogle Scholar
  14. 14.
    Punčochář, V. (2012). Some modifications of Carnap’s modal logic. Studia Logica, 100, 517–543.CrossRefGoogle Scholar
  15. 15.
    Roelofsen, F. (2013). Algebraic foundations for the semantic treatment of inquisitive content. Synthese, 190, 79–12.CrossRefGoogle 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.Google Scholar
  17. 17.
    Stalnaker, R. (1999). Context and content. Oxford: Oxford University Press.CrossRefGoogle 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.Google Scholar
  20. 20.
    van Dalen, D. (2001). Intuitionistic logic. In Gobble, L. (Ed.) The Blackwell guide to philosophical logic (pp. 224–257). Oxford: Blackwell.Google Scholar
  21. 21.
    Yang, F. (2014). On extensions and variants of dependence logic. PhD thesis, University of Helsinki.Google Scholar
  22. 22.
    Zakharyaschev, M. (1994). A new solution to a problem of Hosoi and Ono. Notre Dame Journal of Formal Logic, 35, 450–457.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2015

Authors and Affiliations

  1. 1.Department of LogicInstitute of Philosophy of the Czech Academy of SciencesPraha 1Czech Republic

Personalised recommendations