Мы узнаем, какие нормальные модальные логики называют «каноническими», и докажем каноничность некоторых важных расширений логики K. С помощью метода канонических моделей отсюда будет получена сильная полнота вышеупомянутых расширений относительно подходящих классов шкал.