The modal µ-calculus hierarchy over restricted classes of transition systems, J. Symbolic Logic, vol.74, issue.4, pp.1367-1400, 2009. ,
Rings of sets, Duke Math. J, vol.3, issue.3, pp.443-454, 1937. ,
Modal logic, volume 35 of Oxford Logic Guides, 1997. ,
Introduction to lattices and order, 2002. ,
Topological Kripke models, Soviet Math. Dokl, vol.15, pp.147-151, 1974. ,
An identity involving the least common multiple of binomial coefficients and its application, Amer. Math. Monthly, vol.116, issue.9, pp.836-839, 2009. ,
Logics containing K4, II. J. Symbolic Logic, vol.50, issue.3, pp.619-651, 1985. ,
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
Unification through projectivity, J. Logic Comput, vol.7, issue.6, pp.733-752, 1997. ,
Unification in intuitionistic logic, J. Symbolic Logic, vol.64, issue.2, pp.859-880, 1999. ,
Best solving modal equations, Ann. Pure Appl. Logic, vol.102, issue.3, pp.183-198, 2000. ,
Unification, finite duality and projectivity in varieties of Heyting algebras, Ann. Pure Appl. Logic, vol.127, issue.1-3, pp.99-115, 2004. ,
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
Ruitenburg's theorem via duality and bounded bisimulations, Advances in Modal Logic, pp.277-290, 2018. ,
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics, 2011. ,
Model completions, r-Heyting categories, Ann. Pure Appl. Logic, vol.88, issue.1, pp.27-46, 1997. ,
What is unification? A categorical view of substitution, equation and solution, Resolution of equations in algebraic structures, vol.1, pp.217-261, 1989. ,
Definable fixed points in modal and temporal logics : A survey, Journal of Applied Non-Classical Logics, vol.17, issue.3, pp.317-346, 2007. ,
Least fixed points in Grzegorczyk's Logic and in the intuitionistic propositional logic. Algebra and Logic, vol.32, pp.279-288, 1993. ,
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. ,
An effective fixed-point theorem in intuitionistic diagonalizable algebras, Studia Logica, vol.35, issue.4, pp.345-361, 1976. ,
Subalgebras of diagonalizable algebras of theories containing arithmetic, Dissertationes Math. (Rozprawy Mat.), vol.323, p.82, 1993. ,
Uniform interpolation and layered bisimulation, Gödel '96, vol.6, pp.139-164, 1996. ,