University of Leicester

informatics

Program Schemes and Finite Model Theory

Source of Funding: Engineering and Physical Sciences Research Council (EPSRC)
Amount: £6,300
Duration: September 1997 - December 1997
Principal Investigator: Prof. Iain Stewart
Visiting Fellow: Prof. Argimiro Arratia-Quesada (Universidad Simon Bolivar, Venezuela)

The purpose of the Visiting Fellowship is so that the investigators can extend hierarchy results on transitive closure logic to various classes of program schemes. It is hoped that a number of strict hierarchy results for other logics formed using generalized quantifiers will then follow. A further consideration of logical characterizations of PSPACE is also planned.

© University of Leicester 15th December 2000. Last modified: 8th January 2004, 14:33:19.
Informatics Web Maintainer. This document has been approved by the Head of Department.