Summary: Modal Expressiveness of Graph
Luis Menasch´e Schechter
COPPE - UFRJ
Modal Expressiveness of Graph Properties p.
Goal: In this work, we analyze how we can
express global graph properties (connectivity,
acyclicity and the Hamiltonian and Eulerian
properties) in a modal logic.
Why graphs? Graphs are among the most
frequently used structures in Computer Science.
In this discipline, usually many important
concepts admit a graph representation, and
sometimes a graph lies at the very kernel of the
model of computation used.