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