Modal Expressiveness of Graph Properties

DOI10.1016/j.entcs.2008.03.064zbMath1277.03026OpenAlexW2030158432MaRDI QIDQ2866735

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

Publication date: 13 December 2013

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.2008.03.064

zbMATH Keywords

modal logicgraphshybrid logicmodal \(\mu\)-calculusmodal definability\(\mathrm{CTL}^*\)

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Temporal logic (03B44)

Related Items (2)

A Logical Approach to Hamiltonian Graphs ⋮ A logic for diffusion in social networks

Cites Work

• CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
• The computational complexity of hybrid temporal logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modal Expressiveness of Graph Properties