A first step towardsmodeling semistructured data in hybrid multimodal logic

DOI10.3166/jancl.14.447-475zbMath1185.68290OpenAlexW1981700262MaRDI QIDQ3647216

Serenella Cerrito, Nicole Bidoit, Virginie Thion

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.14.447-475

zbMATH Keywords

databaseschemasemistructured dataintegrity constraintsmultimodal and hybrid logic

Mathematics Subject Classification ID

Database theory (68P15) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Data structures (68P05)

Related Items (6)

An efficient approach to nominal equalities in hybrid logic tableaux ⋮ Complexity of modal logics with Presburger constraints ⋮ Theorem prover approach to semistructured data design ⋮ Path constraints in semistructured data ⋮ Model checking for hybrid logic ⋮ Testing XML constraint satisfiability

Cites Work

• Unnamed Item
• Unnamed Item
• Proof methods for modal and intuitionistic logics
• Propositional dynamic logic of regular programs
• Hybrid languages
• Hybrid logics: characterization, interpolation and complexity
• Regular expression pattern matching for XML
• Hybrid languages and temporal logic
• Representation, reasoning, and relational structures: a hybrid logic manifesto

This page was built for publication: A first step towardsmodeling semistructured data in hybrid multimodal logic