Untersuchungen ???ber das Eliminationsproblem der mathematischen Logik, Mathematische Annalen, vol.110, issue.1, pp.390-413, 1935. ,
DOI : 10.1007/BF01448035
Modal logic, volume 53 of Cambridge Tracts in Theoretical Computer Science, 2001. ,
The truth about algorithmic problems in correspondence theory, Advances in Modal Logic, pp.121-138, 2006. ,
Unified Correspondence, Johan F.A.K. van Benthem on Logical and Informational Dynamics, Outstanding Contributions to Logic, 2014. ,
DOI : 10.1007/978-3-319-06025-5_36
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA, Logical Methods in Computer Science, vol.2, issue.1, 2006. ,
DOI : 10.2168/LMCS-2(1:5)2006
Algorithmic correspondence and canonicity for distributive modal logic, Annals of Pure and Applied Logic, vol.163, issue.3, pp.338-376, 2012. ,
DOI : 10.1016/j.apal.2011.10.004
Sahlqvist Correspondence for Intuitionistic Modal µ-Calculus ,
Lattices and Order, 2002. ,
Monotonic modal logic, 2003. ,
Boolean Algebras with Operators, American Journal of Mathematics, vol.74, issue.1, pp.891-939, 1951. ,
DOI : 10.2307/2372074
An approach to lattice varieties of finite height, Algebra Universalis, vol.108, issue.4, pp.521-543, 1990. ,
DOI : 10.1007/BF01188998
A duality for finite lattices. preprint, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00432113
Lattices That are Embeddable in Suborder Lattices, Algebra and Logic, vol.277, issue.5, pp.483-511, 2005. ,
DOI : 10.1007/s10469-005-0027-7
Modal Logic and Classical Logic Indices : Monographs in Philosophical Logic and Formal Linguistics, Bibliopolis, vol.3, 1985. ,