IV Семинар «Формальная семантика в Москве»