Fixed-point logics and computation

MaRDI QIDQ5483318zbMATHFDO

Authors Anuj Dawar

Publication date 16 August 2006

zbMATH Keywords

finite model theorydescriptive complexityinductive definitionsfixed-point logics

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Logic in computer science (03B70) 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)

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

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)