Details of Grant 

EPSRC Reference:	EP/F032102/1
Title:	Order-topological and model-theoretic methods for modal logics
Principal Investigator:	Hodkinson, Professor I
Other Investigators:
Researcher Co-Investigators:	Dr N Bezhanishvili
Project Partners:
Department:	Computing
Organisation:	Imperial College London
Scheme:	Standard Research
Starts:	01 September 2008	Ends:	31 August 2011	Value (£):	287,208
EPSRC Research Topic Classifications:	Fundamentals of Computing Logic & Combinatorics
EPSRC Industrial Sector Classifications:	No relevance to Underpinning Sectors
Related Grants:
Panel History:	Panel Date Panel Name Outcome 06 Dec 2007 ICT Prioritisation Panel (Technology) Announced
Summary on Grant Application Form
The research concerns the fundamental theory of modal logic and some other non-classical logics. Using model-theoretic, topological, algebraic, order-theoretic, and category-theoretic tools, general completeness theorems using enhanced Sahlqvist theory and canonical formulas will be proved, as well as specific completeness theorems for a number of logical systems. The research will also develop Fine's canonicity theorem and the theory of algebraic completions, and extend the theory of bisimulations to descriptive frames (Kripke frames endowed with additional topological structure). Descriptive frames will be an important tool, and the research will contribute to general understanding of their properties. New tools and techniques will be developed for dealing with them, and these will be of wider use. The research is part of a growing field that applies algebraic and topological methods in non-classical logics.
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