| EPSRC Reference: |
GR/M36700/01 |
| Title: |
PATH-BASED REASONING ABOUT GUARDED FORMULAE |
| Principal Investigator: |
Schmidt, Dr RA |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Unknown (Data Transfer) |
| Organisation: |
Manchester Metropolitan University |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 September 1999 |
Ends: |
10 February 2000 |
Value (£): |
3,924
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
There is a growing interest in sophisticated and efficient theorem provers for modal logics, which af~~iki-ridely accepted to prc,ide appropriate formal frameworks for an ever increasing number of different application areas in computer science. However, existing modal theorem provers are mostly tuned for a small set of the weakest modal logics, and experience shows users want more expressiveness. The guarded and loosely guarded fragments, which we intend to study, encompass many extended modal logics. Despite the increased expressiveness the guarded fragments retain many of the desirable properties :,= modal logics, most notably decidability.The aim of this project is to facilitate automated reasoning for the guarded and loosely guarded fragments by suitable resolution calculi exploiting a path-based encoding. The approach will generalise the functional translation method of modal logics, which has been successfully app'l'ied to modal 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.mmu.ac.uk |