Contact information
Research
Recent papers
List of publications
Slides from talks
Web-only material
Algebraic logic
Book
Atom structures, completions
Axiomatisations, games
Bases, RA-CA connections
Canonical extensions
Complete representations
Finite base property
Reducts of RAs and CAs
Undecidability of RRA
Modal/temporal logic
Book
Axiomatisation, canonicity
Decidability
Expressiveness
First-order modal logic
Fixed points
Guarded fragments
Monodic fragments
Finite model theory
Teaching/admin
Course notes
Projects | ISOs
Other activities
Links
Supervisors