scientific article; zbMATH DE number 7407777

MaRDI QIDQ5155666zbMATH OpenFDO

Authors Carlos Areces, Raul Fervari

Publication date 8 October 2021

Full work available at URL https://arxiv.org/abs/2004.00124, https://lmcs.episciences.org/7689

zbMATH Keywords

axiomatizationsdata graphsdata treesdecidabilityXPath

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• Hilbert-style axiomatization for hybrid XPath with data
• Axiomatizing the logical core of XPath 2.0
• Axiomatizations for downward XPath on data trees
• Complete axiomatizations for XPath fragments
• An extension of data automata that captures XPath
• XPath satisfiability in the presence of DTDs
• Model theory of XPath on data trees. I: Bisimulation and characterization

Cites work

• A mathematical introduction to logic.
• A sequent calculus for a modal logic on finite data trees
• An axiomatization of full computation tree logic
• Axiomatizations for downward XPath on data trees
• Axiomatizing the logical core of XPath 2.0
• Bisimulations on Data Graphs
• Complete axiomatizations for XPath fragments
• Decidability of downward XPath
• Definability for downward and vertical XPath on data trees
• Dynamic algebras: Examples, constructions, applications
• Frontiers of tractability for typechecking simple XML transformations
• Hilbert-style axiomatization for hybrid XPath with data
• scientific article; zbMATH DE number 5999538 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 1765663 (Why is no real title available?)
• Hybrid logic and its proof-theory
• Hybrid logics: Characterization, interpolation and complexity
• Modal logic
• Model theory of XPath on data trees. I: Bisimulation and characterization
• Model theory of XPath on data trees. II: Binary bisimulation and definability
• Named models in coalgebraic hybrid logic
• Normal forms in modal logic
• On the Complexity of Verifying Consistency of XML Specifications
• Pure extensions, proof rules, and hybrid axiomatics
• Querying Graphs with Data
• Two-variable logic on data trees and XML reasoning
• XPath satisfiability in the presence of DTDs

Cited in

(6)

• Axiomatizing the logical core of XPath 2.0
• On core xpath with inflationary fixed points
• Data graphs with incomplete information (and a way to complete them)
• Data-aware hybrid tableaux
• Axiomatization of XPath with general data comparison
• Complete axiomatizations for XPath fragments

Describes a project that uses

Uses Software

• XQuery
• XPath

This page was built for publication:

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