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