EPSRC logo

Details of Grant 

EPSRC Reference: GR/N23028/01
Title: MANY-DIMENSIONAL MODAL LOGICS AND FINITE MODEL THEORY
Principal Investigator: Gabbay, Professor D
Other Investigators:
Dawar, Professor A
Researcher Co-Investigators:
Project Partners:
Department: Computer Science
Organisation: Kings College London
Scheme: Standard Research (Pre-FEC)
Starts: 01 August 2000 Ends: 31 July 2003 Value (£): 192,507
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Information Technologies No relevance to Underpinning Sectors
Related Grants:
Panel History:  
Summary on Grant Application Form
Classical logic (including the finite model theory) and multimodal (including many-dimensional) logic are both applied in CS, AI and natural language. The first is expressive but not tractable. The second is more tractable but not so expressive. For practical applications both approaches are used depending on the view of the practitioner.Recently connections between the two kinds of logics have been discovered: they involve the fragments of classical logic with a fixed number of variables, relativised quantifiers and finite models.The project will further investigate these connections with a view for proposing new tractable fragments of logic expressive enough for applications.
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: