Modal logics for reasoning about weighted graphs

Abstract

Frames for lattice-valued modal logics are directed weighted graphs (with the given lattice of truth values seen as an algebra of weights), so it is natural to consider these logics as formalisms for reasoning about weighted graphs; in a similar vein, versions of modal logic based on classical logic have been used to express and reason about properties of non-weighted graphs.