Лекция 4. Т.Л.Яворская. Модальные формулы и свойства шкал Крипке