The Modal Completeness of ILW

Dick de Jongh and Frank Veltman

Institute for Logic, Language and Computation
University of Amsterdam
dickdj@wins.uva.nl
veltman@hum.uva.nl

Abstract

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.

Dvi-file
PS-File
PDF-File
Bibtex Entry