Abstract
This paper studies Hennessy-Milner classes, classes of Kripke models where
modal-logical equivalence coincides with bisimulation. Concepts associated
with these classes in the literature (Goldblatt [6], Visser [8])are studied and
compared and the structure of the collection of maximal Hennessy-Milner
classes is investigated (how many are there, what is their intersection?). The
insights into these classes
... read more