A Modal Perspective on Path Constraints

DOI10.1093/LOGCOM/13.6.939MaRDI QIDQ4812322zbMATH OpenOpenAlexFDO

Authors Natasha Alechina, Stéphane 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

zbMATH Keywords

automata theorymodal logicpath constraintssemistructured data

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Automata and formal grammars in connection with logical questions (03D05) Database theory (68P15)

Recommendations

• Path constraints in semistructured databases
• Path constraints in semistructured data
• Interaction between path and type constraints
• Mathematical Foundations of Computer Science 2004
• scientific article; zbMATH DE number 2080409

Cited in

(17)

• Regular path queries with constraints
• Path constraints in semistructured databases
• Path constraints in semistructured data
• Model checking hybrid logics (with an application to semistructured data)
• Complexity of modal logics with Presburger constraints
• Static analysis of navigational XPath over graph databases
• Constraint-based approach to semistructured data.
• 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
• scientific article; zbMATH DE number 2080409 (Why is no real title available?)
• Modal logics for reasoning about infinite unions and intersections of binary relations
• scientific article; zbMATH DE number 219208 (Why is no real title available?)
• Interaction between path and type constraints
• 2-Exp Time lower bounds for propositional dynamic logics with intersection
• Databases and artificial intelligence

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4812322)