A Modal Perspective on Path Constraints
From MaRDI portal
Publication:4812322
DOI10.1093/logcom/13.6.939zbMath1093.68032MaRDI QIDQ4812322
Natasha Alechina, Stéphane P. Demri, 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
68P15: Database theory
03B45: Modal logic (including the logic of norms)
03D05: Automata and formal grammars in connection with logical questions
03B25: Decidability of theories and sets of sentences
Related Items
2-Exp Time lower bounds for propositional dynamic logics with intersection, Path constraints in semistructured data, Model checking hybrid logics (with an application to semistructured data), Complexity of modal logics with Presburger constraints, Testing XML constraint satisfiability, An efficient approach to nominal equalities in hybrid logic tableaux, PDL with intersection and converse: satisfiability and infinite-state model checking, PDL for ordered trees