М.: Прогресс, 1981. - 424 с.
Крипке С.А., Хинтикка Я., Прайор А.Н., Леммон Е., Томасон С.К.,
Габбай Д.М., Сегерберг К., Файн К., Монтегю Р., Скотт Д., Белнап
Н.Д., Роутлей Р., Мейер Р.
Семантическое рассмотрение модальной логики. Виды модальности. Модальность и квантификация. Временн'ая логика и непрерывность времени. Алгебраическая семантика для модальных логик. Семантический анализ временн'ых логик. Модальные логики с линейными отношениями альтернативности. Общий метод фильтрации для модальных логик. Пропозициональные кванторы в модальной логике. Прагматика и интенсиональная логика. Семантика типа Монтегю для модальных логик с пропорциональными кванторами. Интенсиональные модели для формул первой ступени. Семантика следования.
Семантическое рассмотрение модальной логики. Виды модальности. Модальность и квантификация. Временн'ая логика и непрерывность времени. Алгебраическая семантика для модальных логик. Семантический анализ временн'ых логик. Модальные логики с линейными отношениями альтернативности. Общий метод фильтрации для модальных логик. Пропозициональные кванторы в модальной логике. Прагматика и интенсиональная логика. Семантика типа Монтегю для модальных логик с пропорциональными кванторами. Интенсиональные модели для формул первой ступени. Семантика следования.