Research

• algebraic logic
• modal and temporal logic

Some EPSRC-supported research projects

• Relation algebras of action and indeterminacy
  • A theorem prover constructed during this project by Maarten Marx and Stefan Schlobach can be used here.
• Efficient systems of dynamic interaction
  Jointly held with King's and University Colleges London
  Summary of final report
• Temporal and dynamic description logics (EPSRC Visiting Fellowship for Prof. M. Zakharyaschev, 12 months from Sep 98) Summary of final report
• Analysis and mechanisation of decidable first-order temporal logics
  Joint with Liverpool University and King's College London
• Relations across fields
• Hybrid logics of space and time (Ph.D. studentship)
• Knowledge Representation and Reasoning about Distances
  (joint with Liverpool University and King's College London)
• Order-topological and model-theoretic methods for modal logics
• New aspects of the mu-calculus (overseas travel grant, 2014)