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