Abstrakt
The notion of a critical successor has been central to all modal completeness proofs in interpretability logics. In this paper we shall work with an alternative notion, that of an assuring successor.
As we shall see, this makes life a lot easier. After a general treatment of assuringness, we shall apply it to obtain a completeness results for ILW, a result first proved by de Jongh and Veltman.