Мы познакомимся с двумя дедуктивными системами для наименьшей нормальной модальной логики K. Далее, мы изучим метод канонических моделей для нормальных модальных логик; с его помощью будет доказана сильная полнота вышеупомянутых систем для K относительно класса всех (модальных) шкал.