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