Expressive equivalence of least and inflationary fixed-point logic

DOI10.1016/J.APAL.2004.02.001MaRDI QIDQ1886320zbMATH OpenOpenAlexFDO

Authors Stephan Kreutzer

Publication date 18 November 2004

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2004.02.001

zbMATH Keywords

finite structuresexpressive powerfixed-point logicIFP-nesting depth hierarchyinfinite structuresLFP-alternation hierarchy

Mathematics Subject Classification ID

Logic in computer science (03B70) Applications of model theory (03C98)

Recommendations

• Fixed Point Logics
• scientific article; zbMATH DE number 1948172
• Fixed-point extensions of first-order logic
• Infinitary logic and inductive definability over finite structures
• Existential least fixed-point logic and its relatives

Cites work

• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• Elementary induction on abstract structures
• Fixed Point Logics
• Fixed-point extensions of first-order logic
• On monotone vs. nonmonotone induction
• On nonmonotone inductive definability
• Relational queries computable in polynomial time

Cited in

(11)

• scientific article; zbMATH DE number 1555183 (Why is no real title available?)
• Logic and Game Theory
• On the descriptive complexity of temporal constraint satisfaction problems
• scientific article; zbMATH DE number 1841826 (Why is no real title available?)
• Fixed-point definability and polynomial time on chordal graphs and line graphs
• Symbioses between mathematical logic and computer science
• FO(ID) as an extension of DL with rules
• Automata, Languages and Programming
• On the expressive power of monadic least fixed point logic
• Canonisation and Definability for Graphs of Bounded Rank Width
• scientific article; zbMATH DE number 1948172 (Why is no real title available?)

This page was built for publication: Expressive equivalence of least and inflationary fixed-point logic

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