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

DOI10.1016/J.TCS.2011.05.011zbMATH Open1229.03028OpenAlexW2165037445MaRDI QIDQ654915FDOQ654915

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

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

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)

Cites Work

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

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)