Название: Семантика модальных и интенсиональных логик
Автор: Смирнов В.А. (ред.)
Издательство: М.: Прогресс
Год: 1981
Cтраниц: 424
Формат: pdf
Размер: 52 мб
Язык: русский

Семантическое рассмотрение модальной логики. Виды модальности. Модальность и квантификация. Временная логика и непрерывность времени. Алгебраическая семантика для модальных логик. Семантический анализ временн'ых логик. Модальные логики с линейными отношениями альтернативности. Общий метод фильтрации для модальных логик.
Пропозициональные кванторы в модальной логике. Прагматика и интенсиональная логика. Семантика типа Монтегю для модальных логик с пропорциональными кванторами. Интенсиональные модели для формул первой ступени. Семантика следования.