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.

S. Babenyshev and V. Rybakov, Unification in linear temporal logic LTL, Annals of Pure and Applied Logic, vol.162, pp.991-1000, 2011.

P. Balbiani and Ç. Gencer, KD is nullary, Journal of Applied Non-Classical Logics, vol.27, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02365665

P. Balbiani and Ç. Gencer, Unification in epistemic logics, Journal of Applied Non-Classical Logics, vol.27, pp.91-105, 2017.
URL : https://hal.archives-ouvertes.fr/hal-02365663

P. Balbiani and T. Tinchev, Unification in modal logic Alt 1 . Advances in Modal Logic, pp.117-134, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01650177

P. Balbiani and T. Tinchev, Elementary unification in modal logic KD45, Journal of Applied Logics-IFCoLog Journal of Logics and Their Applications, vol.5, pp.301-317, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02365660

P. Blackburn, M. De-rijke, and Y. Venema, Modal Logic, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00100503

A. Chagrov and M. Zakharyaschev, Modal Logic, 1997.

B. Chellas, Modal Logic. An Introduction, 1980.

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

W. Dzik, Unification Types in Logic. Wydawnictwo Uniwersytetu Slaskiego, 2007.

W. Dzik, Bulletin of the Section of Logic, vol.40, pp.37-46, 2011.

W. Dzik and P. Wojtylak, Projective unification in modal logic, Logic Journal of the IGPL, vol.20, pp.121-153, 2012.

Ç. 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, Journal of Symbolic Logic, vol.69, pp.879-906, 2004.

R. Iemhoff, On the admissible rules of intuitionistic propositional logic, Journal of Symbolic Computation, vol.66, pp.281-294, 2001.

R. Jansana, Some logics related to von Wright's logic of place, Notre Dame Journal of Formal Logic, vol.35, pp.88-98, 1994.

E. Je?àbek, Complexity of admissible rules, Archive for Mathematical Logic, vol.46, pp.73-92, 2007.

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, A criterion for admissibility of rules in the model system S4 and the intuitionistic logic. Algebra and Logic, vol.23, pp.369-384, 1984.

V. Rybakov, Bases of admissible rules of the logics S4 and Int. Algebra and Logic, vol.24, pp.55-68, 1985.

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

V. Rybakov, Construction of an explicit basis for rules admissible in modal system S4, Mathematical Logic Quarterly, vol.47, pp.441-446, 2001.

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

V. Rybakov, Logical consecutions in discrete linear temporal logic, Journal of Symbolic Logic, vol.70, pp.1137-1149, 2005.

V. Rybakov, Multi-modal and temporal logics with universal formula-reduction of admissibility to validity and unification, Journal of Logic and Computation, vol.18, pp.509-519, 2008.

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.