Axiomatization of XPath with general data comparison

DOI10.1080/11663081.2024.2430110MaRDI QIDQ6936352zbMATH OpenFDO

Authors Sergio Abriola, Santiago Figueira, Nicolas Gonzalez

Publication date 29 August 2025

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2024.2430110

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A sequent calculus for a modal logic on finite data trees
• Axiomatizations for downward XPath on data trees
• Complete axiomatizations for XPath fragments
• scientific article; zbMATH DE number 7407777 (Why is no real title available?)

This page was built for publication: Axiomatization of XPath with general data comparison

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