Bulletin of Symbolic Logic
- Bull. Symbolic Logic
- Volume 8, Number 1 (2002), 65-88.
Fixed Point Logics
We consider fixed point logics, i.e., extensions of first order predicate logic with operators defining fixed points. A number of such operators, generalizing inductive definitions, have been studied in the context of finite model theory, including nondeterministic and alternating operators. We review results established in finite model theory, and also consider the expressive power of the resulting logics on infinite structures. In particular, we establish the relationship between inflationary and nondeterministic fixed point logics and second order logic, and we consider questions related to the determinacy of games associated with alternating fixed points
Bull. Symbolic Logic, Volume 8, Number 1 (2002), 65-88.
First available in Project Euclid: 20 June 2007
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Dawar, Anuj; Gurevich, Yuri. Fixed Point Logics. Bull. Symbolic Logic 8 (2002), no. 1, 65--88. doi:10.2178/bsl/1182353853. https://projecteuclid.org/euclid.bsl/1182353853