1. Baader, F. (2003). Resricted role-value-maps in a description logic with existential restrictions and terminological cycles. In D. Calvanese, G. De Giacomo, E. Franconi (Ed.), Proceeding of the 2003 International Workshop on Description Logics (DL 2003), Rome, Italy, September 5–7, 2003, Vol. 81, CEUR Workshop Proceedings, CEUR–WS.org.
2. Beklemishev, L. D. (2012). Calibrating provability logic: from modal logic to reflection calculus. In T. Bolander, T. Braüner, S. Ghilardi, & L. Moss (Eds.), Advances in Modal Logic (Vol. 9, pp. 89–94). London: College Publications.
3. Beklemishev, L. D. (2014). Positive provability logic for uniform reflection principles. Annals of Pure and Applied Logic, 165(1), 82–105.
4. Blok, W.J. (1976). Varieties of interior algebras, PhD thesis, University of Amsterdam.
5. Chagrov, A.V. & Shehtman, V.B. (1995). Algorithmic aspects of propositional tense logics, In Lecture Notes in Computer Science (Vol. 933, pp. 442–455).