Modal expressiveness of graph properties

DOI10.1016/J.ENTCS.2008.03.064MaRDI QIDQ2866735zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 3571502 (Why is no real title available?)
• scientific article; zbMATH DE number 2020180 (Why is no real title available?)
• scientific article; zbMATH DE number 1765663 (Why is no real title available?)
• scientific article; zbMATH DE number 970635 (Why is no real title available?)
• CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
• Graph theory with applications
• Modal logic
• The computational complexity of hybrid temporal logics

Cited in

(5)

• Hybrid logics and NP graph properties
• A Logical Approach to Hamiltonian Graphs
• Using modal logics to express and check global graph properties
• Polynomial hierarchy graph properties in hybrid logic
• A logic for diffusion in social networks

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)