The Modal Completeness of ILW

Dick de Jongh and Frank Veltman

Institute for Logic, Language and Computation
University of Amsterdam


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.

Bibtex Entry

December 3, 1994
© Peter van Emde Boas

May 22, 1992
© Peter van Emde Boas