Hilbert-Style Axiomatization for Hybrid XPath with Data
From MaRDI portal
Publication:2835860
DOI10.1007/978-3-319-48758-8_3zbMath1483.68098OpenAlexW2539891404MaRDI QIDQ2835860
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
Database theory (68P15) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)
Related Items (1)
Uses Software
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