| Найдено документов - 2 | Найти похожие: "Заглавие" = 'Семантика следования' | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 87.452я43 испр. - С 30
Семантика модальных и интенсиональных логик / С. А. Крипке, Я. Хинтикка, А. Н. Прайор [и др.] ; составление, общая редакция, вступительная статья В. А. Смирнова; перевод с английского А. А. Мучника, А. П. Никифорова, З. А. Сокулер. — Москва : Прогресс, 1981. — 424 с.
Экземпляры: Всего: 2, из них: аб.-1 в наличии 1, ч/з-1 в наличии 1
Подробнее
Авторы: Крипке С. А., Хинтикка Я., Прайор А. Н., Леммон Е., Томасон С. К., Сегерберг К., Габбай Д. М., Файн К., Монтегю Р., Скотт Д., Белнап Н. Д., Роутлей Р.
Отраслевые рубрики: логика, математическая логика, философские науки
Ключевые слова: алгебра логики, алгебраическая семантика, временная логика, дедуктивная логика, интенсиональная логика, квантификация, логическая семантика, логический метод, метод фильтрации, модальная логика, модальность, прагматика, пропозициональные кванторы, семантика следования, семантический анализ
Форматированное содержание:
Алгебраическая семантика для модальных логик I/ Леммон Е.
Алгебраическая семантика для модальных логик II/ Леммон Е.
Виды модальности/ Хинтикка Я.
Временная логика и непрерывность времени/ Прайор А. Н.
Интенсиональные модели для формул первой ступени/ Белнап Н. Д.
Модальность и квантификация/ Хинтикка Я.
Модальные логики с линейными отношениями альтернативности/ Сегерберг К.
Общий метод фильтрации для модальных логик/ Габбай Д. М.
Прагматика и интенсиональная логика/ Монтегю Р.
Пропозициональные кванторы в модальной логике/ Файн К.
Семантика следования/ Роутлей Р.
Семантика типа Монтегю для модальных логик с пропозициональными кванторами/ Габбай Д. М.
Семантический анализ временных логик/ Томасон С. К.
Семантическое рассмотрение модальной логики/ Крипке С. А.
Советы по модальной логике/ Скотт Д.
Индексы ББК: 87.452я43, 87.4я43
Представления: Формат MARC21
2. Статья (мон.)
Полочный шифр: 87.452я43 - С 30
Роутлей, Р.
Семантика следования / Р. Роутлей, Р. Мейер ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 363-421.
Семантика следования / Р. Роутлей, Р. Мейер ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 363-421.
Подробнее
Авторы: Роутлей Р., Мейер Р.
Отраслевые рубрики: логика, философские науки
Ключевые слова: адекватность постулатов, доказательство, значимость, импликация, интерпретация, интуиционизм, истинность, логическая семантика, логический синтаксис, модальная логика, модельные структуры, первопорядковая семантика, подстановочная семантика, позитивная логика, постулаты, принцип гамма, пропозициональная квантификация, релевантные семантики, семантика следования, следование, теория интенсиональных теорий, теория суждений, эквивалентность
Индексы ББК: 87.4, 87.41, 87.42, 87.43
Представления: Формат MARC21