EPSRC logo

Details of Grant 

EPSRC Reference: GR/M91006/01
Title: LOGIC ALGEBRA AND COMPLEXITY
Principal Investigator: Stewart, Professor IA
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Mathematics
Organisation: University of Leicester
Scheme: Standard Research (Pre-FEC)
Starts: 13 September 1999 Ends: 12 September 2000 Value (£): 6,700
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:  
Summary on Grant Application Form
We intend to extend existing results, due to Arratia-Quesada and Stewart, on the expressibility of logics formed by extending first-order logic with uniform sequences of Lindstrom quantifiers corresponding to game-theoretic analogues of well studied problems. An archetypal example is that HEX is the game theoretic analogue of TC. We also intend to logically characterize non-solvable regular languages by refining a recent construction of Arratia-Quesada.
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.le.ac.uk