1. [1] Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 2001.
2. [2] Bull, R. A., “That all normal extensions of ${\mathrm{S}}4.3$ have the finite model property,” Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, vol. 12 (1966), pp. 341–44.
3. [3] Chagrov, A., and M. Zakharyaschev, “The undecidability of the disjunction property of propositional logics and other related problems,” Journal of Symbolic Logic, vol. 58 (1993), pp. 967–1002.
4. [4] Chagrov, A., and M. Zakharyaschev, Modal Logic, vol. 35 of Oxford Logic Guides, Clarendon Press, New York, 1997.
5. [5] Fine, K., and G. Schurz, “Transfer theorems for stratified modal logics,” pp. 169–213 in Logic and Reality: Essays on the Legacy of Arthur Prior, edited by J. Copeland, Oxford University Press, New York, 1996.