Product of Graphs and Hybrid Logic

DOI10.1016/j.entcs.2009.11.008zbMath1291.05166OpenAlexW2085755988MaRDI QIDQ5170294

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

Publication date: 23 July 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.11.008

zbMATH Keywords

modal definabilityproduct of graphshybrid languagesmodal languagesH-V intransitivity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Graph operations (line graphs, products, etc.) (05C76)

Related Items (1)

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

Cites Work

• Unnamed Item
• Pure extensions, proof rules, and hybrid axiomatics
• Many-dimensional modal logics: theory and applications
• Formalizing Concurrent Common Knowledge as Product of Modal Logics
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Reasoning about Knowledge in Asynchronous Distributed Systems

This page was built for publication: Product of Graphs and Hybrid Logic