| EPSRC Reference: |
GR/N23028/01 |
| Title: |
MANY-DIMENSIONAL MODAL LOGICS AND FINITE MODEL THEORY |
| Principal Investigator: |
Gabbay, Professor D |
| Other Investigators: |
|
| 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: |
|