| Найдено документов - 15 | Найти похожие: "Заглавие" = 'Семантика модальных и интенсиональных логик' | Версия для печати |
Сортировать по:
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. — С. 280-317.
Советы по модальной логике / Д. Скотт ; перевод З. А. Сокулер
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 280-317.
Подробнее
Авторы: Скотт Д.
Отраслевые рубрики: логика, философские науки
Ключевые слова: адекватность, виртуальные индивиды, возможные индивиды, действительные индивиды, индивиды, индивидный концепт, интенсиональные операторы, интерпретации, истина, модальная логика, переменные, равенство, тождества
Индексы ББК: 87.4, 87.41, 87.43
Представления: Формат MARC21
3. Статья (мон.)
Полочный шифр: 87.452я43 - С 30
Крипке, С. А.
Семантическое рассмотрение модальной логики / С. А. Крипке ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 27-40.
Семантическое рассмотрение модальной логики / С. А. Крипке ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 27-40.
Подробнее
Авторы: Крипке С. А.
Отраслевые рубрики: логика, философские науки
Ключевые слова: знаковые системы, интуитивная логика, квантификационные системы, квантификация, логическая семантика, модальная логика, модельная структура
Индексы ББК: 87.4, 87.43, 87.41
Представления: Формат MARC21
4. Статья (мон.)
Полочный шифр: 87.452я43 - С 30
Томасон, С. К.
Семантический анализ временных логик / С. К. Томасон ; перевод А. А. Мучника
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 166-179.
Семантический анализ временных логик / С. К. Томасон ; перевод А. А. Мучника
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 166-179.
Подробнее
Авторы: Томасон С. К.
Отраслевые рубрики: логика, философские науки
Ключевые слова: аксиомы, алгебраическая семантика, временные логики, логическая семантика, модальная логика, модельные структуры, семантический анализ, эквивалентность
Индексы ББК: 87.4, 87.43, 87.41
Представления: Формат MARC21
5. Статья (мон.)
Полочный шифр: 87.452я43 - С 30
Роутлей, Р.
Семантика следования / Р. Роутлей, Р. Мейер ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 363-421.
Семантика следования / Р. Роутлей, Р. Мейер ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 363-421.
Подробнее
Авторы: Роутлей Р., Мейер Р.
Отраслевые рубрики: логика, философские науки
Ключевые слова: адекватность постулатов, доказательство, значимость, импликация, интерпретация, интуиционизм, истинность, логическая семантика, логический синтаксис, модальная логика, модельные структуры, первопорядковая семантика, подстановочная семантика, позитивная логика, постулаты, принцип гамма, пропозициональная квантификация, релевантные семантики, семантика следования, следование, теория интенсиональных теорий, теория суждений, эквивалентность
Индексы ББК: 87.4, 87.41, 87.42, 87.43
Представления: Формат MARC21
6. Статья (мон.)
Полочный шифр: 87.452я43 - С 30
Файн, К.
Пропозициональные кванторы в модальной логике / К. Файн ; перевод З. С. Сокулер
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 212-222.
Пропозициональные кванторы в модальной логике / К. Файн ; перевод З. С. Сокулер
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 212-222.
Подробнее
Авторы: Файн К.
Отраслевые рубрики: логика, философские науки
Ключевые слова: аксиоматизируемость, булевы аналогии, комбинаторная логика, модальная логика, переменные, предикатные аналогии, пропозициональные кванторы, разрешимость, семантика, суждение
Индексы ББК: 87.4, 87.41, 87.42, 87.43
Представления: Формат MARC21
7. Статья (мон.)
Полочный шифр: 87.452я43 - С 30
Монтегю, Р.
Прагматика и интенсиональная логика / Р. Монтегю ; перевод З. С. Сокулер
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 223-253.
Прагматика и интенсиональная логика / Р. Монтегю ; перевод З. С. Сокулер
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 223-253.
Подробнее
Авторы: Монтегю Р.
Отраслевые рубрики: логика, философские науки
Ключевые слова: временные операторы, выполнимость, интенсиональная логика, интенсиональный язык, интерпретации, истина, квантифицирование, кванторы, косвенные контексты, модальные операторы, прагматика, прагматический язык, предикаты, философия языка
Индексы ББК: 87.4, 87.41, 87.43
Представления: Формат MARC21
8. Статья (мон.)
Полочный шифр: 87.452я43 - С 30
Габбай, Д. М.
Общий метод фильтрации для модальных логик / Д. М. Габбай ; перевод А. А. Мучника
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 205-211.
Общий метод фильтрации для модальных логик / Д. М. Габбай ; перевод А. А. Мучника
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 205-211.
Подробнее
Авторы: Габбай Д. М.
Отраслевые рубрики: логика, философские науки
Ключевые слова: доказательства, индукция, леммы, метод фильтрации, модальная логика, суждение, теоремы
Индексы ББК: 87.4, 87.43, 87.42, 87.44
Представления: Формат MARC21
9. Статья (мон.)
Полочный шифр: 87.452я43 - С 30
Сесерберг, К.
Модальные логики с линейными отношениями альтернативности / К. Сесерберг ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 180-204.
Модальные логики с линейными отношениями альтернативности / К. Сесерберг ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 180-204.
Подробнее
Авторы: Сесерберг К.
Отраслевые рубрики: логика, философские науки
Ключевые слова: альтернативность, бимодальная логика, временная логика, доказательства, линейные отношения, модальная логика, модельные структуры, мономодальная логика, пропозициональная логика, суждение, теоремы, теория фильтрации
Индексы ББК: 87.4, 87.41, 87.42, 87.43
Представления: Формат MARC21
10. Статья (мон.)
Полочный шифр: 87.452я43 - С 30
Хинтикка, Я.
Модальность и квантификация / Я. Хинтикка ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 60-75.
Модальность и квантификация / Я. Хинтикка ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 60-75.
Подробнее
Авторы: Хинтикка Я.
Отраслевые рубрики: логика, философские науки
Ключевые слова: альтернативность, выполнимость, интуиция, квантификация, логическая семантика, логический синтаксис, методология, модальность, общезначимость, семантические методы, синтаксические методы, суждение
Индексы ББК: 87.4, 87.43, 87.41, 87.422
Представления: Формат MARC21
11. Статья (мон.)
Полочный шифр: 87.452я43 - С 30
Белнап, Н. Д.
Интенсиональные модели для формул первой ступени / Н. Д. Белнап ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 325-362.
Интенсиональные модели для формул первой ступени / Н. Д. Белнап ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 325-362.
Подробнее
Авторы: Белнап Н. Д.
Отраслевые рубрики: логика, философские науки
Ключевые слова: аксиомы, буквы, ветви, гомоморфизмы, деревья, интенсиональные логики, интенсиональные модели, интенсиональные решетки, истинностный фильтр, кванторы, критические модели, логические системы, модельные системы, последовательности, предикаты, пропозициональные переменные, теория суждений, формулы первой степени
Индексы ББК: 87.4, 87.41, 87.43, 87.422
Представления: Формат MARC21
12. Статья (мон.)
Полочный шифр: 87.452я43 - С 30
Прайор, А. Н.
Временная логика и непрерывность времени / А. Н. Прайор ; перевод З. А. Сокулер
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 76-97.
Временная логика и непрерывность времени / А. Н. Прайор ; перевод З. А. Сокулер
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 76-97.
Подробнее
Авторы: Прайор А. Н.
Отраслевые рубрики: логика, философские науки
Ключевые слова: временная логика, дедукция, импликация, интерпретации, интуиция, истинность, модальные системы, непрерывность времени, операторы, пропозициональное исчисление, суждение, эквивалентность
Персоналии: Диодор Сицилийский, Хэмблин К. Л.
Индексы ББК: 87.4, 87.43, 87.41, 87.422
Представления: Формат MARC21
13. Статья (мон.)
Полочный шифр: 87.452я43 - С 30
Хинтикка, Я.
Виды модальности / Я. Хинтикка ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 41-59.
Виды модальности / Я. Хинтикка ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 41-59.
Подробнее
Авторы: Хинтикка Я.
Отраслевые рубрики: логика, философские науки
Ключевые слова: импликация, интерпретации, логическая семантика, модальная логика, модальность, модальные системы, субъективность, эпистемология
Индексы ББК: 87.4, 87.43, 87.41
Представления: Формат MARC21
14. Статья (мон.)
Полочный шифр: 87.452я43 - С 30
Леммон, Е.
Алгебраическая семантика для модальных логик II / Е. Леммон ; перевод А. А. Мучника
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 125-165.
Алгебраическая семантика для модальных логик II / Е. Леммон ; перевод А. А. Мучника
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 125-165.
Подробнее
Авторы: Леммон Е.
Отраслевые рубрики: логика, философские науки
Ключевые слова: алгебра логики, алгебраическая семантика, логическая семантика, матрицы, модальная логика, модельная структура, пересечения, суждение, теоремы, эквивалентность
Индексы ББК: 87.4, 87.41, 87.43
Представления: Формат MARC21
15. Статья (мон.)
Полочный шифр: 87.452я43 - С 30
Леммон, Е.
Алгебраическая семантика для модальных логик I / Е. Леммон ; перевод А. А. Мучника
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 98-124.
Алгебраическая семантика для модальных логик I / Е. Леммон ; перевод А. А. Мучника
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 98-124.
Подробнее
Авторы: Леммон Е.
Отраслевые рубрики: логика, философские науки
Ключевые слова: алгебра логики, алгебраическая семантика, алгебры, индукция, интерпретации, логическая семантика, матрицы, модальная логика, модальные системы, модельная структура, суждение, теоремы, финитная аппроксимируемость
Индексы ББК: 87.4, 87.43, 87.44, 87.41
Представления: Формат MARC21