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