Login / Signup

Using modal logics to express and check global graph properties.

Mario R. F. BenevidesLuis Menasché Schechter
Published in: Log. J. IGPL (2009)
Keyphrases
  • modal logic
  • graph properties
  • decision procedures
  • temporal logic
  • inference rules
  • nonmonotonic logics
  • graph theory
  • epistemic logic
  • default logic
  • situation calculus
  • information extraction
  • graph theoretic