Hilbert-Style Axiomatization for Hybrid XPath with Data

DOI10.1007/978-3-319-48758-8_3zbMath1483.68098OpenAlexW2539891404MaRDI QIDQ2835860

Carlos Areces, Raul Fervari

Publication date: 30 November 2016

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-48758-8_3

zbMATH Keywords

modal logichybrid logicaxiomatizationXPathdata tree

Mathematics Subject Classification ID

Database theory (68P15) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (1)

Unnamed Item

Uses Software

• XPath

Cites Work

• Pure extensions, proof rules, and hybrid axiomatics
• Complete axiomatizations for XPath fragments
• Axiomatizing the logical core of XPath 2.0
• Axiomatizations for downward XPath on data trees
• Definability for Downward and Vertical XPath on Data Trees
• Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization
• Decidability of Downward XPath
• Two-variable logic on data trees and XML reasoning
• XPath satisfiability in the presence of DTDs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Hilbert-Style Axiomatization for Hybrid XPath with Data