Sign in

A navigational logic for reasoning about graph properties.

Marisa NavarroFernando OrejasElvira PinoLeen 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