A Modal Perspective on Path Constraints
From MaRDI portal
Publication:4812322
DOI10.1093/logcom/13.6.939zbMath1093.68032OpenAlexW1982011272MaRDI QIDQ4812322
Stéphane P. Demri, Natasha Alechina, Maarten de Rijke
Publication date: 7 September 2004
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://dare.uva.nl/personal/pure/en/publications/a-modal-perspective-on-path-constraints(47d299c7-e0f8-433d-a886-254fade51e65).html
Database theory (68P15) Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)
Related Items
Static analysis of navigational XPath over graph databases ⋮ An efficient approach to nominal equalities in hybrid logic tableaux ⋮ Complexity of modal logics with Presburger constraints ⋮ Modal logics for reasoning about infinite unions and intersections of binary relations ⋮ Path constraints in semistructured data ⋮ Model checking hybrid logics (with an application to semistructured data) ⋮ PDL with intersection and converse: satisfiability and infinite-state model checking ⋮ PDL for ordered trees ⋮ 2-Exp Time lower bounds for propositional dynamic logics with intersection ⋮ Testing XML constraint satisfiability