Some modal aspects of XPath
From MaRDI portal
Publication:2901192
DOI10.3166/jancl.20.139-171zbMath1242.68010OpenAlexW2106724495MaRDI QIDQ2901192
Tadeusz Litak, Balder ten Cate, Gaëlle Fontaine
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
Database theory (68P15) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Internet topics (68M11)
Related Items (7)
Hennessy-Milner and van Benthem for instantial neighbourhood logic ⋮ Axiomatizations for downward XPath on data trees ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ A quantified coalgebraic van Benthem theorem ⋮ Complete axiomatizations for XPath fragments ⋮ Modal characterisation theorems over special classes of frames ⋮ Constructive Modalities with Provability Smack
Uses Software
Cites Work
- Unnamed Item
- Structural properties of XPath fragments
- Modal characterisation theorems over special classes of frames
- A note on the characterization of TL [EF]
- Complete axiomatizations for XPath fragments
- On modal \(\mu \)-calculus and Gödel-Löb logic
- Dynamic algebras: Examples, constructions, applications
- An axiomatization for until and since over the reals without the IRR rule
- Propositional dynamic logic of regular programs
- A completeness theorem for Kleene algebras and the algebra of regular events
- An algebraic theory of normal forms
- An equational axiomatization of dynamic negation and relational composition
- Program constructions that are safe for bisimulation
- Past is for free: On the complexity of verifying linear temporal properties with past
- Axiomatizing the logical core of XPath 2.0
- Modal frame correspondences and fixed-points
- Finite models constructed from canonical formulas
- Characterizing EF and EX tree logics
- First-order logic with two variables and unary temporal logic
- Normal forms in modal logic
- The complexity of query containment in expressive fragments of XPath 2.0
- Conjunctive queries over trees
- XPath satisfiability in the presence of DTDs
- The complexity of propositional linear temporal logics
This page was built for publication: Some modal aspects of XPath
