IL-modellen en bisimulaties
René 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.