1. Blackburn P., de Rijke M., Venema Y.: Modal Logic, Volume 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, MA (2002)
2. Buss S.: Intuitionistic validity in T-normal Kripke structures. Ann. Pure Appl. Log. 59, 159–173 (1993)
3. Ciardelli, I.A.: Inquisitive semantics and intermediate logics. Technical report, ILLC, University of Amsterdam, Amsterdam (2009)
4. Chagrov A., Zakharyashev M.: Modal Logic. Oxford Logic Guides. Oxford University Press, Oxford (1997)
5. de Jongh D.H.J., Gabbay D.: A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property. J. Symbolic Log. 39, 67–78 (1974)