Similarly all propositions in modal logic can be expressed as kripke models, which have quite the correlation to graphs As good a reference as I could find...

Similarly all propositions in modal logic can be expressed as kripke models, which have quite the correlation to graphs As good a reference as I could find... https://rkirsling.github.io/modallogic/ https://rkirsling.github.io/modallogic/