Abstrakt
Pojem kritického následníka je centrální v důkazech úplnosti modálních logik interpretovatelnosti. V článku je zaveden a obecně prozkoumán alternativní pojem bezpečného následníka.
Ten je následně aplikován v důkazu úplnosti ILW poprvé dokázaného de Jonghem a Veltmanem.