Some modal aspects of XPath

DOI10.3166/JANCL.20.139-171MaRDI QIDQ2901192zbMATH OpenOpenAlexFDO

Authors Balder ten Cate, Gaëlle Fontaine, Tadeusz Litak

Publication date 17 July 2012

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

Full work available at URL https://doi.org/10.3166/jancl.20.139-171

zbMATH Keywords

XMLmodal logicfinite trees

Mathematics Subject Classification ID

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

Recommendations

• XPath and modal logics of finite DAG's
• Complete axiomatizations for XPath fragments
• Structural properties of XPath fragments
• Axiomatizing the logical core of XPath 2.0
• scientific article; zbMATH DE number 1953125

Cites work

• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• A completeness theorem for Kleene algebras and the algebra of regular events
• A note on the characterization of TL [EF]
• An algebraic theory of normal forms
• An axiomatization for until and since over the reals without the IRR rule
• An equational axiomatization of dynamic negation and relational composition
• Axiomatizing the logical core of XPath 2.0
• Characterizing EF and EX tree logics
• Complete axiomatizations for XPath fragments
• Conjunctive queries over trees
• Dynamic algebras: Examples, constructions, applications
• Finite models constructed from canonical formulas
• First-order logic with two variables and unary temporal logic
• Modal characterisation theorems over special classes of frames
• Modal frame correspondences and fixed-points
• Normal forms in modal logic
• On modal \(\mu \)-calculus and Gödel-Löb logic
• Past is for free: On the complexity of verifying linear temporal properties with past
• Program constructions that are safe for bisimulation
• Propositional dynamic logic of regular programs
• Structural properties of XPath fragments
• The complexity of propositional linear temporal logics
• The complexity of query containment in expressive fragments of XPath 2.0
• XPath satisfiability in the presence of DTDs

Cited in

(10)

• A quantified coalgebraic van Benthem theorem
• Hennessy-Milner and van Benthem for instantial neighbourhood logic
• Complete axiomatizations for XPath fragments
• Lewisian fixed points. I: Two incomparable constructions
• Data graphs with incomplete information (and a way to complete them)
• XPath and modal logics of finite DAG's
• An algebraic glimpse at bunched implications and separation logic
• Constructive modalities with provability smack
• Axiomatizations for downward XPath on data trees
• Modal characterisation theorems over special classes of frames

Describes a project that uses

Uses Software

• XPath

This page was built for publication: Some modal aspects of XPath

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