A Modal Perspective on Path Constraints

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

zbMATH Keywords

modal logicautomata theorysemistructured datapath constraints

Mathematics Subject Classification ID

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 (10)

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

This page was built for publication: A Modal Perspective on Path Constraints