Fixed Point Logics

DOI10.2307/2687735MaRDI QIDQ4532728zbMATH OpenOpenAlexFDO

Authors 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

finite model theorysecond-order logicexpressive powerinfinite structuresfixed point logics

Mathematics Subject Classification ID

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

Recommendations

• Fixed-point extensions of first-order logic
• Fixed-point Logics with Nondeterministic Choice
• Fixed-point logics and computation
• scientific article; zbMATH DE number 1302492
• Infinitary logic and inductive definability over finite structures

Cited in

(33)

• Partial fixed point for finite models in second order logic
• scientific article; zbMATH DE number 7447732 (Why is no real title available?)
• Comparing infinitary systems for linear logic with fixed points
• scientific article; zbMATH DE number 2006638 (Why is no real title available?)
• Characters and fixed points in provability logic
• Recursive definitions and fixed-points
• The Descriptive Complexity of Parity Games
• Guarded negation
• Fixed-point logics and computation
• Complete problems for fixed-point logics
• scientific article; zbMATH DE number 2103277 (Why is no real title available?)
• scientific article; zbMATH DE number 1870424 (Why is no real title available?)
• Enhancing fixed point logic with cardinality quantifiers
• Fixed-point extensions of first-order logic
• scientific article; zbMATH DE number 4180775 (Why is no real title available?)
• Symbioses between mathematical logic and computer science
• scientific article; zbMATH DE number 6680142 (Why is no real title available?)
• On symmetric circuits and fixed-point logics
• Classical Logic with Mendler Induction
• Explicit fixed points in interpretability logic
• scientific article; zbMATH DE number 515730 (Why is no real title available?)
• scientific article; zbMATH DE number 4055578 (Why is no real title available?)
• Ł\(\Pi\) logic with fixed points
• Fixed-point Logics with Nondeterministic Choice
• Expressive equivalence of least and inflationary fixed-point logic
• A fixed-point theorem for Horn formula equations
• Recursive definitions and fixed-points on well-founded structures
• Evidence for Fixpoint Logic
• scientific article; zbMATH DE number 1948172 (Why is no real title available?)
• Mathematical Foundations of Computer Science 2005
• An expansion of basic logic with fixed points
• A Fixpoint Semantics for Ordered Logic
• scientific article; zbMATH DE number 1163924 (Why is no real title available?)

This page was built for publication: Fixed Point Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4532728)