Fixed-point logics and computation

MaRDI QIDQ5483318zbMATH OpenFDO

Authors Anuj Dawar

Publication date 16 August 2006

zbMATH Keywords

descriptive complexityfinite model theoryfixed-point logicsinductive definitions

Mathematics Subject Classification ID

Logic in computer science (03B70) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)

Recommendations

• Fixed Point Logics
• The expressive power of fixed-point logic with counting
• On fixed-point logic with counting
• Fixed-point extensions of first-order logic
• scientific article; zbMATH DE number 4055578

Cited in

(12)

• Fixed-point extensions of first-order logic
• Axiomatizing fixpoint logics
• Fixed-Point Elimination in the Intuitionistic Propositional Calculus
• scientific article; zbMATH DE number 6680142 (Why is no real title available?)
• scientific article; zbMATH DE number 1824109 (Why is no real title available?)
• Fixed-point semantics of computation tree logic based on generalized possibility measures
• \(FO(FD)\): extending classical logic with rule-based fixpoint definitions
• One Useful Logic That Defines Its Own Truth
• scientific article; zbMATH DE number 4055578 (Why is no real title available?)
• On fixed-point logic with counting
• Fixed Point Logics
• Recursive definitions and fixed-points

This page was built for publication: Fixed-point logics and computation

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