1. Avron, A.: Simple consequence relations. Inf. Comput. 92(1), 105–140 (1991).
https://doi.org/10.1016/0890-5401(91)90023-U
2. Avron, A.: The method of hypersequents in the proof theory of propositional non-classical logics. In: Logic: From Foundations to Applications (Staffordshire, 1993), Oxford Science Publishing, pp. 1–32. Oxford University Press, New York (1996)
3. Brünnler, K.: Deep sequent systems for modal logic. In: Governatori, G., Hodkinson, I., Venema, Y. (eds.) Advances in Modal Logic, vol. 6, pp. 107–119. College Publications, London (2006)
4. Brünnler, K.: Deep sequent systems for modal logic. Arch. Math. Log. 48, 551–577 (2009)
5. Chaudhuri, K., Marin, S., Straßburger, L.: Modular focused proof systems for intuitionistic modal logics. In: FSCD, pp. 16:1–16:18 (2016)