1. Chagrov, A., and M. Zakharyaschev, Modal Logic, vol. 35 of Oxford Logic Guides, The Clarendon Press, New York, 1997.
2. Baaz, M., A. Ciabattoni, and C. G. Fermüller, "Hypersequent calculi for G"ödel logics–-A survey, Journal of Logic and Computation, vol. 13 (2003), pp. 835–61.
3. Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 2001.
4. Dummett, M., "A propositional calculus with denumerable matrix", The Journal of Symbolic Logic, vol. 24 (1959), pp. 97–106.
5. Gabbay, D. M., and D. H. J. De Jongh, "A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property", The Journal of Symbolic Logic, vol. 39 (1974), pp. 67–78.