IL-modellen en bisimulaties
Rene de Jonge

Abstract:
In this Dutch article several well-known concepts and theorems of
classical modal logic are reformulated for the more extensive logic IL.

Keywords: Interpretability Logic