Лекция 7. А.В. Кудинов, Д.С. Шамканов. Окрестностная семантика модальных логик.