The modal completeness of ILW
Frank Veltman, Dick H. J. de Jongh, Jelle Gerbrandy, Maarten de Rijke, Yde Venema · Data Archiving and Networked Services (DANS) · 1999
This paper contains a completeness proof for the system ILW, a rather bewildering axiom system belonging to the family of interpretability logics.We have treasured this little proof for a considerable time, keeping it just for ourselves.Johan's fiftieth birthday appears to be the right occasion to get it out of our wine cellar.