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

DOI10.1016/J.TCS.2011.05.011MaRDI QIDQ654915zbMATH OpenOpenAlexFDO

Authors Mario 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

products of graphsproducts of modal logicsmodel-checkingintransitivityaxiomatic systemshybrid languages

Mathematics Subject Classification ID

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

Recommendations

• Product of Graphs and Hybrid Logic
• Hybrid logics and NP graph properties
• Multimodal logics of products of topologies
• scientific article; zbMATH DE number 517080
• Hybrid logic with the difference modality for generalisations of graphs
• On graph calculi for multi-modal logics
• Towards the Use of Hypergraphs in Multi-adjoint Logic Programming
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• scientific article; zbMATH DE number 1738633

Cites work

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

Cited in

(3)

• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• Using Multigraphs to Study the Interaction Between Opposition, Implication and Duality Relations in Logical Squares
• Product of Graphs and Hybrid Logic

This page was built for publication: A study on multi-dimensional products of graphs and hybrid logics

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