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