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