Foundations of Information and Knowledge Systems

DOI10.1007/11663881MaRDI QIDQ5898540zbMATH OpenOpenAlexFDO

Authors Flavio Ferrarotti, Jose Maria Turull Torres

Publication date 12 February 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11663881

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Second- and higher-order model theory (03C85) Database theory (68P15)

Recommendations

• Arity and alternation: a proper hierarchy in higher order logics
• scientific article; zbMATH DE number 1499101
• On fragments of higher order logics that on finite structures collapse to second order
• Arity and alternation in second-order logic
• Arity hierarchies

Cited in

(15)

• An arithmetical hierarchy in propositional dynamic logic
• On fragments of higher order logics that on finite structures collapse to second order
• Refined hierarchy of formulas
• Arity and alternation in second-order logic
• Computing queries with higher-order logics
• Arity and alternation: a proper hierarchy in higher order logics
• Arity hierarchies
• On a hierarchy involving transitive closure logic and existential second-order quantification
• scientific article; zbMATH DE number 4174914 (Why is no real title available?)
• Complete Problems for Higher Order Logics
• scientific article; zbMATH DE number 1499101 (Why is no real title available?)
• SEPARATING AUXILIARY ARITY HIERARCHY OF FIRST-ORDER INCREMENTAL EVALUATION SYSTEMS USING (3K+1)-ary INPUT RELATIONS
• An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic
• Expressibility of higher order logics
• Polynomially bounded valuations in higher-order logics over relational databases

This page was built for publication: Foundations of Information and Knowledge Systems

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