A navigational logic for reasoning about graph properties.

Marisa Navarro Fernando Orejas Elvira Pino Leen Lambers

Published in: J. Log. Algebraic Methods Program. (2021)

Keyphrases

graph properties
formal theory
graph theoretic
graph theory
directed graph
modal logic
modal operators
graph data
multi dimensional