| EPSRC Reference: |
GR/R58192/01 |
| Title: |
Developing a Categorical Semantics for the Mu-Culculus. |
| Principal Investigator: |
Schalk, Dr AC |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of Manchester, The |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 January 2002 |
Ends: |
30 June 2005 |
Value (£): |
65,388
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The aim of this PhD project is to develop cateegorical models for the (modal) mu-calculus, a logical system frequently used to describe and reason about interactive process. Work by vlass as well as Cockett and seely suggestd that their approaches can be combined to define a category of games which is a suitable model for conjunction and disjunction. The former has the desired objects but not the right morphisms; the latter will help with identifying those. The next step will then be to add interpretations of the fixed point operations present in the mu-calculus;some suggestions for how this might be achieved can be found in Santocanale's work. However, his notion of game is different from the one we are aiming at. Once that has been achieved there will be three stands to persue further. Firstly more structure will be added to the category in order to interpret the modal operators. Secondly the proof theory resulting from the categorical model obtained so far will be analysied, and finally the abstract properties of the obtained category will be investigated. Ideally one might be able to identify abstract properties which ensure that a category has suitable structure to interpret (fragments of) the mu-calculus.
|
|
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.man.ac.uk |