1. Interpolation, Definability and Fixed Points;Areces,2001
2. Nominal tense logic;Blackburn;Notre Dame Journal of Formal Logic,1993
3. The lattice of modal algebras is not strongly atomic;Blok;Algebra Universalis,1980
4. On the degree of incompleteness in modal logics and the covering relation in the lattice of modal logics;Blok,1980
5. Algebraizable Logics;Blok,1989