Лекция 4. В.Б. Шехтман. Модальные логики предикатов и их модели.