I'll be available in my office, 5.07a MPEB, on Mondays from 1-2pm, up to and including Monday 12th December 2016.
My main research is in logic and mathematical foundations. I have a particular interest in algebraic logic, modal and temporal logic, relation algebra, logical games, algebras of relations.
- Temporal and Modal Logic
- Algebraic Logic
- Game Theory