Expressibility of higher order logics

DOI10.1016/S1571-0661(04)80850-8MaRDI QIDQ4924534zbMATH OpenOpenAlexFDO

Authors Lauri Hella, Jose Maria Turull Torres

Publication date 6 June 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)80850-8

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70)

Recommendations

• Computing queries with higher-order logics
• Foundations of Information and Knowledge Systems
• Arity and alternation: a proper hierarchy in higher order logics
• On fragments of higher order logics that on finite structures collapse to second order
• The expressive power of higher-order Datalog

Cites work

• scientific article; zbMATH DE number 3857078 (Why is no real title available?)
• scientific article; zbMATH DE number 4064541 (Why is no real title available?)
• scientific article; zbMATH DE number 3474957 (Why is no real title available?)
• scientific article; zbMATH DE number 1254648 (Why is no real title available?)
• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• scientific article; zbMATH DE number 719756 (Why is no real title available?)
• Computable queries for relational data bases
• Descriptive characterizations of computational complexity
• Expressibility of higher order logics
• Metafinite model theory
• On the expressive power of database queries with intermediate types
• The polynomial-time hierarchy

Cited in

(15)

• Expressivity and Complexity of Dependence Logic
• Expressive power and incompleteness of propositional logics
• On the expressivity of feature logics with negation, functional uncertainty, and sort equations
• Complete Problems for Higher Order Logics
• scientific article; zbMATH DE number 1028827 (Why is no real title available?)
• Epsilon-logic is more expressive than first-order logic over finite structures
• Expressibility of higher order logics
• Computing queries with higher-order logics
• Comparing higher-order encodings in logical frameworks and tile logic
• scientific article; zbMATH DE number 1303996 (Why is no real title available?)
• Arity and alternation: a proper hierarchy in higher order logics
• On the expressibility hierarchy of Magidor-Malitz quantifiers
• Polynomially bounded valuations in higher-order logics over relational databases
• The Descriptive Complexity of the Deterministic Exponential Time Hierarchy
• On fragments of higher order logics that on finite structures collapse to second order

This page was built for publication: Expressibility of higher order logics

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