Fixed-point logics and computation

zbMATH Open1105.03027MaRDI QIDQ5483318FDOQ5483318

Authors: Anuj Dawar 

Publication date: 16 August 2006

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

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)

Cited In (12)

• Title not available (Why is that?)
• Recursive definitions and fixed-points
• One Useful Logic That Defines Its Own Truth
• Fixed-point extensions of first-order logic
• Title not available (Why is that?)
• \(FO(FD)\): extending classical logic with rule-based fixpoint definitions
• On fixed-point logic with counting
• Title not available (Why is that?)
• Fixed-Point Elimination in the Intuitionistic Propositional Calculus
• Fixed Point Logics
• Axiomatizing fixpoint logics
• Fixed-point semantics of computation tree logic based on generalized possibility measures

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)