Fixed-point logics, generalized quantifiers, and oracles

DOI10.1093/LOGCOM/7.3.405MaRDI QIDQ4344700zbMATH OpenOpenAlexFDO

Authors H. Imhof

Publication date 28 January 1998

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/b04d1662a0776095a13a3448b878192bef257ee7

zbMATH Keywords

generalized quantifiersmonotone circuitsoraclesrepresentation of fixed-point logics

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Logic with extra quantifiers and operators (03C80) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• Enhancing fixed point logic with cardinality quantifiers
• The expressive power of finitely many generalized quantifiers
• Relativized logspace and generalized quantifiers over finite ordered structures

Cited in

(6)

• scientific article; zbMATH DE number 1555193 (Why is no real title available?)
• Generalized Quantifiers and Logical Reducibilities
• scientific article; zbMATH DE number 1795986 (Why is no real title available?)
• Enhancing fixed point logic with cardinality quantifiers
• Fixed-point extensions of first-order logic
• Guarded quantification in least fixed point logic

This page was built for publication: Fixed-point logics, generalized quantifiers, and oracles

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