Tin Perkov

Hennessy-Milner Theorems for Topological Semantics of Modal Logic

Bisimulation is the basic equivalence between models in modal logic. Although bisimulation implies modal equivalence, the converse does not hold in general. Hennessy–Milner-style theorems find various conditions under which the converse holds, e.g. finiteness. In Kripke semantics, the condition of finiteness can be imp...