F. Baader, S. Borgwardt, and B. Morawska, Extending unification in EL towards general TBoxes, Principles of Knowledge Representation and Reasoning, pp.568-572, 2012.

F. Baader and S. Ghilardi, Unification in modal and description logics, Logic Journal of the IGPL, vol.19, pp.705-730, 2011.

S. Babenyshev, V. Rybakov, R. Schmidt, and D. Tishkovsky, A tableau method for checking rule admissibility in S4, Electronic Notes in Theoretical Computer Science, vol.262, pp.17-32, 2010.

W. Dzik, Unitary unification of S5 modal logics and its extensions, Bulletin of the Section of Logic, vol.32, pp.19-26, 2003.

W. Dzik, Unification Types in Logic, 2007.

R. Fagin, J. Halpern, Y. Moses, and M. Vardi, Reasoning About Knowledge, 1995.

Ç. Gencer and D. De-jongh, Unifiability in extensions of K4, Logic Journal of the IGPL, vol.17, pp.159-172, 2009.

S. Ghilardi, Best solving modal equations, Annals of Pure and Applied Logic, vol.102, pp.183-198, 2000.

S. Ghilardi and L. Sacchetti, Filtering unification and most general unifiers in modal logic, The Journal of Symbolic Logic, vol.69, pp.879-906, 2004.

V. Goranko and S. Passy, Using the universal modality: Gains and questions, Journal of Logic and Computation, vol.2, pp.5-30, 1992.

E. Je?ábek, Blending margins: The modal logic K has nullary unification type, Journal of Logic and Computation, vol.25, pp.1231-1240, 2015.

V. Rybakov, Admissibility of Logical Inference Rules, 1997.

V. Rybakov, Unification in common knowledge logics, vol.31, pp.207-215, 2002.

V. Rybakov, Agents' logics with common knowledge and uncertainty: Unification problem, algorithm for construction solutions, Knowledge-based and Intelligent Information and Engineering Systems, pp.171-179, 2011.

V. Rybakov, M. Terziler, and Ç. Gencer, An essay on unification and inference rules for modal logics, Bulletin of the Section of Logic, vol.28, pp.145-157, 1999.

F. Wolter and M. Zakharyaschev, Undecidability of the unification and admissibility problems for modal and description logics, ACM Transactions on Computational Logic, vol.9, p.20, 2008.