K. Fine, Logics containing K4. Part II, The Journal of Symbolic Logic, vol.16, issue.03, pp.619-651, 1985.
DOI : 10.1111/j.1755-2567.1974.tb00081.x

S. Ghilardi, Best solving modal equations, Annals of Pure and Applied Logic, vol.102, issue.3, pp.183-198, 2000.
DOI : 10.1016/S0168-0072(99)00032-9
URL : https://doi.org/10.1016/s0168-0072(99)00032-9

S. Ghilardi, M. J. Gouveia, and L. Santocanale, Fixed-Point Elimination in the Intuitionistic Propositional Calculus, Foundations of Software Science and Computation Structures, FOSSACS 2016, Proceedings, pp.126-141, 2016.
DOI : 10.1007/11601548_3
URL : https://hal.archives-ouvertes.fr/hal-01249822

S. Ghilardi and M. Zawadowski, Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics, 2011.
DOI : 10.1007/978-94-015-9936-8

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.
DOI : 10.3166/jancl.17.317-346

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

W. Ruitenburg, On the period of sequences (An(p)) in intuitionistic propositional calculus, The Journal of Symbolic Logic, vol.344, issue.03, pp.892-899, 1984.
DOI : 10.2307/2274142

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, pp.139-164, 1996.
DOI : 10.1007/978-3-662-21963-8_9