Some modal aspects of XPath
From MaRDI portal
Publication:2901192
DOI10.3166/JANCL.20.139-171zbMATH Open1242.68010OpenAlexW2106724495MaRDI QIDQ2901192FDOQ2901192
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
Recommendations
Modal logic (including the logic of norms) (03B45) Database theory (68P15) Logic in computer science (03B70) Internet topics (68M11)
Cites Work
- An axiomatization for until and since over the reals without the IRR rule
- Propositional dynamic logic of regular programs
- The complexity of propositional linear temporal logics
- Characterizing EF and EX tree logics
- The complexity of query containment in expressive fragments of XPath 2.0
- Conjunctive queries over trees
- XPath satisfiability in the presence of DTDs
- Structural properties of XPath fragments
- Finite models constructed from canonical formulas
- Normal forms in modal logic
- Title not available (Why is that?)
- Dynamic algebras: Examples, constructions, applications
- A completeness theorem for Kleene algebras and the algebra of regular events
- First-order logic with two variables and unary temporal logic
- Modal frame correspondences and fixed-points
- Past is for free: On the complexity of verifying linear temporal properties with past
- An algebraic theory of normal forms
- Modal characterisation theorems over special classes of frames
- On modal \(\mu \)-calculus and Gödel-Löb logic
- Program constructions that are safe for bisimulation
- An equational axiomatization of dynamic negation and relational composition
- A note on the characterization of TL [EF]
- Complete axiomatizations for XPath fragments
- Axiomatizing the logical core of XPath 2.0
Cited In (10)
- A quantified coalgebraic van Benthem theorem
- Hennessy-Milner and van Benthem for instantial neighbourhood logic
- Lewisian fixed points. I: Two incomparable constructions
- XPath and modal logics of finite DAG's
- Axiomatizations for downward XPath on data trees
- Complete axiomatizations for XPath fragments
- An algebraic glimpse at bunched implications and separation logic
- Modal characterisation theorems over special classes of frames
- Constructive modalities with provability smack
- Data graphs with incomplete information (and a way to complete them)
Uses Software
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)
