Sciweavers

ENTCS
2008

Modal Expressiveness of Graph Properties

13 years 2 months ago
Modal Expressiveness of Graph Properties
Graphs are among the most frequently used structures in Computer Science. In this work, we analyze how we can express some important graph properties such as connectivity, acyclicity and the Eulerian and Hamiltonian properties in a modal logic. First, we show that these graph properties are not definable in a basic modal language. Second, we discuss an extension of the basic modal language with fix-point operators, the modal
Mario R. F. Benevides, L. Menasché Schechte
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where ENTCS
Authors Mario R. F. Benevides, L. Menasché Schechter
Comments (0)