Шкалы Крипке: изучаем ветвление и его применение в логике