 In what follows, this idea is exploited in several propositional modal logics as well as in propositional dynamic logic with Kripke semantics (see the entry on  modal logic  as well as the entry on  propositional dynamic logic).