1. Bílková, M.: Interpolation in Modal Logic. PhD thesis, Charles University in Prague (2006)
2. Bílková, M.: Uniform interpolation and propositional quantifiers in modal logics. Studia Logica 85(1), 1–31 (2007)
3. Bílková, M., Palmigiano, A., Venema, Y.: Proof systems for the coalgebraic cover modality. In: Areces, C., Goldblatt, R. (eds.) Advances in Modal Logic, vol. 7, pp. 1–21. College Publications (2008)
4. 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–120. College Publications (2006)
5. Lecture Notes in Computer Science;K. Brünnler,2009