Fixed Point Logics

DOI10.2307/2687735zbMath1002.03030OpenAlexW4212919334MaRDI QIDQ4532728

Anuj Dawar, Yuri Gurevich

Publication date: 13 January 2003

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0801-toc.htm

zbMATH Keywords

second-order logicexpressive powerfinite model theoryinfinite structuresfixed point logics

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Second- and higher-order model theory (03C85)

Related Items (11)

On symmetric circuits and fixed-point logics ⋮ Classical Logic with Mendler Induction ⋮ Expressive equivalence of least and inflationary fixed-point logic ⋮ Symbioses between mathematical logic and computer science ⋮ An expansion of basic logic with fixed points ⋮ Unnamed Item ⋮ Recursive definitions and fixed-points on well-founded structures ⋮ The Descriptive Complexity of Parity Games ⋮ Ł\(\Pi\) logic with fixed points ⋮ Recursive Definitions and Fixed-Points ⋮ Guarded Negation

This page was built for publication: Fixed Point Logics