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 logicsemistructured datapath constraints

Mathematics Subject Classification ID

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

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

(16)

• Model checking hybrid logics (with an application to semistructured data)
• Path constraints in semistructured data
• Static analysis of navigational XPath over graph databases
• PDL with intersection and converse: satisfiability and infinite-state model checking
• PDL for ordered trees
• Modal logics for reasoning about infinite unions and intersections of binary relations
• Path constraints in semistructured databases
• Constraint-based approach to semistructured data.
• Databases and artificial intelligence
• Complexity of modal logics with Presburger constraints
• 2-Exp Time lower bounds for propositional dynamic logics with intersection
• scientific article; zbMATH DE number 219208 (Why is no real title available?)
• scientific article; zbMATH DE number 2080409 (Why is no real title available?)
• Testing XML constraint satisfiability
• Interaction between path and type constraints
• An efficient approach to nominal equalities in hybrid logic tableaux

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)