Modal expressiveness of graph properties

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

Authors: Mario Benevides, L. Menasché Schechter 

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

Recommendations

• Using modal logics to express and check global graph properties
• A Logical Approach to Hamiltonian Graphs
• scientific article; zbMATH DE number 2020180
• Hybrid logics and NP graph properties
• On a graph approach to modal logics

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?)
• Graph theory with applications
• 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 (5)

• Hybrid logics and NP graph properties
• A logic for diffusion in social networks
• Polynomial hierarchy graph properties in hybrid logic
• Using modal logics to express and check global graph properties
• 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)