1. Chagrov, A., and M. Zakharyaschev, Modal Logic, Oxford University Press, Clarendon Press, 1997.
2. Dyckhoff, R., and S. Negri, Proof analysis in intermediate logics, Archive for Mathematical Logic 51:71–92, 2012.
3. Gilbert, D. R., and P. Maffezioli, Modular sequent calculi for classical modal logics, Studia Logica 103:175–217, 2015.
4. Hughes, G. E., and M. J. Cresswell, An Introduction to Modal Logic, University of California, 1968.
5. Kripke, S., Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional Calculi, in J. W. Addison, L. Henkin and A. Tarski, (eds.), The Theory of Models, North Holland, Amsterdam, 1965, pp. 206–220.