A study on multi-dimensional products of graphs and hybrid logics

DOI10.1016/j.tcs.2011.05.011zbMath1229.03028OpenAlexW2165037445MaRDI QIDQ654915

Mario R. F. Benevides, L. Menasché Schechter

Publication date: 23 December 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.05.011

zbMATH Keywords

model-checkingproducts of graphsproducts of modal logicsintransitivityaxiomatic systemshybrid languages

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Graph operations (line graphs, products, etc.) (05C76)

Cites Work

• Unnamed Item
• Unnamed Item
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• An essay in combinatory dynamic logic
• Pure extensions, proof rules, and hybrid axiomatics
• Multi-dimensional modal logic
• Many-dimensional modal logics: theory and applications
• Model checking hybrid logics (with an application to semistructured data)
• Hybrid logics: characterization, interpolation and complexity
• Interpolation for extended modal languages
• Coalgebraic Hybrid Logic
• Using modal logics to express and check global graph properties
• Hybrid languages and temporal logic
• Products of modal logics, part 1
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• On modal logics betweenK × K × KandS5 × S5 × S5
• Product of Graphs and Hybrid Logic
• Hybrid Logics with Infinitary Proof Systems