Existential Fixed-Point Logic as a Fragment of Second-Order Logic

DOI10.1007/978-3-319-23534-9_3MaRDI QIDQ2947165zbMATH OpenOpenAlexFDO

Authors Andreas Blass

Publication date 22 September 2015

Published in Fields of Logic and Computation II (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-23534-9_3

Mathematics Subject Classification ID

Higher-order logic (03B16) Logic in computer science (03B70) Logic with extra quantifiers and operators (03C80) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An existential fragment of second order logic
• scientific article; zbMATH DE number 4055578
• Existential least fixed-point logic and its relatives
• Second-order logic: properties, semantics, and existential commitments
• Existential fixed-point logic, universal quantifiers, and topoi
• Existential second-order logic and modal logic with quantified accessibility relations
• Logicism and Second-Order Logic
• ASNP: a tame fragment of existential second-order logic
• scientific article; zbMATH DE number 1759397
• Second order logic and the weak exponential hierarchies

Cites work

• Capturing complexity classes by fragments of second-order logic
• Elementary induction on abstract structures
• Existential fixed-point logic, universal quantifiers, and topoi
• scientific article; zbMATH DE number 4055578 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)

Cited in

(4)

• An existential fragment of second order logic
• Partial fixed point for finite models in second order logic
• Existential fixed-point logic, universal quantifiers, and topoi
• scientific article; zbMATH DE number 4055578 (Why is no real title available?)

This page was built for publication: Existential Fixed-Point Logic as a Fragment of Second-Order Logic

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