Details of Grant 

EPSRC Reference:	GR/S19905/01
Title:	Relations across fields
Principal Investigator:	Hodkinson, Professor I
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department:	Computing
Organisation:	Imperial College London
Scheme:	Standard Research (Pre-FEC)
Starts:	15 January 2003	Ends:	14 January 2004	Value (£):	10,090
EPSRC Research Topic Classifications:	Fundamentals of Computing Logic & Combinatorics
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:
Summary on Grant Application Form
Modal and temporal logic, algebraic logic, universal algebra, and model theory are fields related by their applications in CS and their concern with the study of relations. There have been several important developments in them recently: e.g., extensions of partial automorphisms in model theory, undecidability and finite base property results in algebraic logic, and monodic predicate temporal logics. Strikingly, each has led to substantial benefits in more than one of these fields.The proposed research intends to capitalise on these advances by applying the new techniques to attack several important problems in these disciplines, both old and new. Monodic logics are some of the first known decidable fragments of predicate temporal logic; work on their complexity and basic theory is proposed. Long-standing problems about axiomatisations, decidability, and elementary classes in algebraic logic have recently been solved, but several more remain and will be worked on. The new methods may allow progress on old canonicity problems in modal logic. The finite model property results recently obtained will be stretched further.The proposed research is to be conducted during visits to those colleagues most closely associated with the work, in Netherlands, Japan, Australia, and New Zealand.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk Summary Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:
Further Information:
Organisation Website:	http://www.imperial.ac.uk