Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Stably compact spaces | Mathematical Structures in Computer Science |
| 2011 | |
Bitopological duality for distributive lattices and Heyting algebras | Mathematical Structures in Computer Science |
| 2010 | |
A coalgebraic view on positive modal logic | Theoretical Computer Science |
| 11 | 2004 |
The Priestley separation axiom for scattered spaces | Order |
| 2002 | |
Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic | Logic Journal of the IGPL |
| 28 | 1999 |