Existential Fixed-Point Logic, Universal Quantifiers, and Topoi

DOI10.1007/978-3-642-15025-8_6zbMath1287.03085OpenAlexW1498011912MaRDI QIDQ3585999

Andreas Blass

Publication date: 3 September 2010

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

Full work available at URL: https://doi.org/10.1007/978-3-642-15025-8_6

zbMATH Keywords

topospolynomial timequantifierHoare logicfixed-point logicgeometric morphismfinite model

Mathematics Subject Classification ID

Database theory (68P15) Categorical logic, topoi (03G30) Classical first-order logic (03B10) Logic with extra quantifiers and operators (03C80)

Related Items (2)

Symbioses between mathematical logic and computer science ⋮ Existential Fixed-Point Logic as a Fragment of Second-Order Logic

Cites Work

• Classifying topoi and finite forcing
• Horn clause queries and generalizations
• Relational queries computable in polynomial time
• Ten Years of Hoare's Logic: A Survey—Part I
• Soundness and Completeness of an Axiom System for Program Verification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Existential Fixed-Point Logic, Universal Quantifiers, and Topoi