L. Alberucci and A. Facchini, The modal µ-calculus hierarchy over restricted classes of transition systems, J. Symbolic Logic, vol.74, issue.4, pp.1367-1400, 2009.

G. Birkhoff, Rings of sets, Duke Math. J, vol.3, issue.3, pp.443-454, 1937.

A. Chagrov and M. Zakharyaschev, Modal logic, volume 35 of Oxford Logic Guides, 1997.

B. A. Davey and H. A. Priestley, Introduction to lattices and order, 2002.

L. Esakia, Topological Kripke models, Soviet Math. Dokl, vol.15, pp.147-151, 1974.

B. Farhi, An identity involving the least common multiple of binomial coefficients and its application, Amer. Math. Monthly, vol.116, issue.9, pp.836-839, 2009.

K. Fine, Logics containing K4, II. J. Symbolic Logic, vol.50, issue.3, pp.619-651, 1985.

S. Frittella and L. Santocanale, Fixed-point theory in the varieties Dn, Lecture Notes in Computer Science, vol.8428, pp.446-462, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01509386

S. Ghilardi, Unification through projectivity, J. Logic Comput, vol.7, issue.6, pp.733-752, 1997.

S. Ghilardi, Unification in intuitionistic logic, J. Symbolic Logic, vol.64, issue.2, pp.859-880, 1999.

S. Ghilardi, Best solving modal equations, Ann. Pure Appl. Logic, vol.102, issue.3, pp.183-198, 2000.

S. Ghilardi, Unification, finite duality and projectivity in varieties of Heyting algebras, Ann. Pure Appl. Logic, vol.127, issue.1-3, pp.99-115, 2004.

S. Ghilardi, M. J. Gouveia, and L. Santocanale, Fixed-point elimination in the intuitionistic propositional calculus, Foundations of Software Science and Computation Structures, pp.126-141, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01249822

S. Ghilardi and L. Santocanale, Ruitenburg's theorem via duality and bounded bisimulations, Advances in Modal Logic, pp.277-290, 2018.

S. Ghilardi and M. Zawadowski, Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics, 2011.

S. Ghilardi and M. W. Zawadowski, Model completions, r-Heyting categories, Ann. Pure Appl. Logic, vol.88, issue.1, pp.27-46, 1997.

J. A. Goguen, What is unification? A categorical view of substitution, equation and solution, Resolution of equations in algebraic structures, vol.1, pp.217-261, 1989.

S. Mardaev, Definable fixed points in modal and temporal logics : A survey, Journal of Applied Non-Classical Logics, vol.17, issue.3, pp.317-346, 2007.

S. I. Mardaev, Least fixed points in Grzegorczyk's Logic and in the intuitionistic propositional logic. Algebra and Logic, vol.32, pp.279-288, 1993.

W. Ruitenburg, On the period of sequences (a n (p)) in intuitionistic propositional calculus, The Journal of Symbolic Logic, vol.49, issue.3, pp.892-899, 1984.

G. Sambin, An effective fixed-point theorem in intuitionistic diagonalizable algebras, Studia Logica, vol.35, issue.4, pp.345-361, 1976.

V. Y. Shavrukov, Subalgebras of diagonalizable algebras of theories containing arithmetic, Dissertationes Math. (Rozprawy Mat.), vol.323, p.82, 1993.

A. Visser, Uniform interpolation and layered bisimulation, Gödel '96, vol.6, pp.139-164, 1996.