HENNESSY{MILNER THEOREM FOR INTERPRETABILITY LOGIC
Mladen Vuković · Bulletin of the Section of Logic · 2005
Interpretability logic is a modal description of the interpretability predicate. The modal system IL is an extension of the provability logic GL (Godel{Lob). We de- flne bisimulations between generalized Veltman models, i.e. ILset-models. Then we consider some operations between models and prove that the operations are a special case of bisimulation. At the end we prove Hennessy{Milner theorem for ILset-models.