Positive Hennessy-Milner Logic for Branching Bisimulation

Herman Geuvers, Komi Golov

Labelled transitions systems can be studied in terms of modal logic and in terms of bisimulation. These two notions are connected by Hennessy-Milner theorems, that show that two st…