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

expressive powerfinite model theoryfixed point logicsinfinite structuressecond-order logic

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

(37)

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

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)