Program Schemes and Finite Model Theory
Source of Funding: Engineering and Physical Sciences
Research Council (EPSRC)
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.