Modal expressiveness of graph properties

DOI10.1016/J.ENTCS.2008.03.064zbMATH Open1277.03026OpenAlexW2030158432MaRDI QIDQ2866735FDOQ2866735

L. Menasché Schechter, Mario 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

graphsmodal logicmodal definabilityhybrid logicmodal \(\mu\)-calculus\(\mathrm{CTL}^*\)

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
• Title not available (Why is that?)
• The computational complexity of hybrid temporal logics
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

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

This page was built for publication: Modal expressiveness of graph properties

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