Contact information
Research
Recent papers
List of publications
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 representability
Modal/temporal logic
Book
Axiomatisation, canonicity
Decidability
Expressiveness
First-order modal logic
Fixed points
Guarded fragments
Hybrid logic
Monodic fragments
Spatial logic
Finite model theory
Course notes
Other activities
Links
Supervisors