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