EPSRC logo
Researcher Details
 
Name: Professor I Hodkinson
Organisation: Imperial College London
Department: Computing
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/L020750/1 New aspects of the mu-calculus(P)
EP/F032102/1 Order-topological and model-theoretic methods for modal logics(P)
GR/S61973/02 Knowledge Representation & Reasoning about Distances(C)
GR/S61973/01 Knowledge Representation & Reasoning about Distances(C)
GR/S19905/01 Relations across fields(P)
GR/S19004/01 Hybrid logics of space and time(P)
GR/R45369/01 Analysis and mechanisation of decidable first-order temporal loics(C)
GR/M36748/01 TEMPORAL AND DYNAMIC DESCRIPTION LOGICS(P)
GR/L85978/01 EFFICIENT SYSTEMS OF DYNAMIC INTERACTION(P)
GR/K54946/01 RELATION ALGEBRAS OF ACTION AND INDETERMINACY(P)
GR/H46343/01 THEORY OF INTERVAL TIME HANDLING(P)
GR/F94088/01 THEORY OF TEMPORAL LOGIC AND ITS APPLICATIONS IN COMPUTER SCIENCE.(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator