МегаПро

1. Статья (мон.)

Полочный шифр: 87.452я43 - С 30

Скотт, Д.
Советы по модальной логике / Д. Скотт ; перевод З. А. Сокулер
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 280-317.

Найти похожие

Источник

URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=13960&idb=ec_110

Подробнее

Авторы: Скотт Д.

Отраслевые рубрики: логика, философские науки

Ключевые слова: адекватность, виртуальные индивиды, возможные индивиды, действительные индивиды, индивиды, индивидный концепт, интенсиональные операторы, интерпретации, истина, модальная логика, переменные, равенство, тождества

Индексы ББК: 87.4, 87.41, 87.43

Представления: Формат MARC21

2. Статья (мон.)

Полочный шифр: 87.452я43 - С 30

Крипке, С. А.
Семантическое рассмотрение модальной логики / С. А. Крипке ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 27-40.

Найти похожие

Источник

URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=13947&idb=ec_110

Подробнее

Авторы: Крипке С. А.

Отраслевые рубрики: логика, философские науки

Ключевые слова: знаковые системы, интуитивная логика, квантификационные системы, квантификация, логическая семантика, модальная логика, модельная структура

Индексы ББК: 87.4, 87.43, 87.41

Представления: Формат MARC21

3. Статья (мон.)

Полочный шифр: 87.452я43 - С 30

Томасон, С. К.
Семантический анализ временных логик / С. К. Томасон ; перевод А. А. Мучника
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 166-179.

Найти похожие

Источник

URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=13953&idb=ec_110

Подробнее

Авторы: Томасон С. К.

Отраслевые рубрики: логика, философские науки

Ключевые слова: аксиомы, алгебраическая семантика, временные логики, логическая семантика, модальная логика, модельные структуры, семантический анализ, эквивалентность

Индексы ББК: 87.4, 87.43, 87.41

Представления: Формат MARC21

4. Статья (мон.)

Полочный шифр: 87.452я43 - С 30

Габбай, Д. М.
Семантика типа Монтегю для модальных логик с пропозиционными кванторами / Д. М. Габбай ; перевод А. А. Мучника
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 318-324.

Найти похожие

Источник

URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=13959&idb=ec_110

Подробнее

Авторы: Габбай Д. М.

Отраслевые рубрики: логика, философские науки

Ключевые слова: доказательства, индукция, леммы, модальная логика, модальные исчисления, модальные системы, пропозициональные кванторы, семантика, теоремы, формула Баркан

Персоналии: Монтегю Уильям Пепперелл

Индексы ББК: 87.4, 87.41, 87.43, 87.44

Представления: Формат MARC21

5. Статья (мон.)

Полочный шифр: 87.452я43 - С 30

Роутлей, Р.
Семантика следования / Р. Роутлей, Р. Мейер ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 363-421.

Найти похожие

Источник

URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=13962&idb=ec_110

Подробнее

Авторы: Роутлей Р., Мейер Р.

Отраслевые рубрики: логика, философские науки

Ключевые слова: адекватность постулатов, доказательство, значимость, импликация, интерпретация, интуиционизм, истинность, логическая семантика, логический синтаксис, модальная логика, модельные структуры, первопорядковая семантика, подстановочная семантика, позитивная логика, постулаты, принцип гамма, пропозициональная квантификация, релевантные семантики, семантика следования, следование, теория интенсиональных теорий, теория суждений, эквивалентность

Индексы ББК: 87.4, 87.41, 87.42, 87.43

Представления: Формат MARC21

6. Статья (мон.)

Полочный шифр: 87.452я43 - С 30

Файн, К.
Пропозициональные кванторы в модальной логике / К. Файн ; перевод З. С. Сокулер
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 212-222.

Найти похожие

Источник

URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=13956&idb=ec_110

Подробнее

Авторы: Файн К.

Отраслевые рубрики: логика, философские науки

Ключевые слова: аксиоматизируемость, булевы аналогии, комбинаторная логика, модальная логика, переменные, предикатные аналогии, пропозициональные кванторы, разрешимость, семантика, суждение

Индексы ББК: 87.4, 87.41, 87.42, 87.43

Представления: Формат MARC21

7. Статья (мон.)

Полочный шифр: 87.452я43 - С 30

Монтегю, Р.
Прагматика и интенсиональная логика / Р. Монтегю ; перевод З. С. Сокулер
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 223-253.

Найти похожие

Источник

URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=13957&idb=ec_110

Подробнее

Авторы: Монтегю Р.

Отраслевые рубрики: логика, философские науки

Ключевые слова: временные операторы, выполнимость, интенсиональная логика, интенсиональный язык, интерпретации, истина, квантифицирование, кванторы, косвенные контексты, модальные операторы, прагматика, прагматический язык, предикаты, философия языка

Индексы ББК: 87.4, 87.41, 87.43

Представления: Формат MARC21

8. Статья (мон.)

Полочный шифр: 87.452я43 - С 30

Монтегю, Р.
Прагматика / Р. Монтегю ; перевод З. С. Сокулер
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 254-279.

Найти похожие

Источник

URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=13958&idb=ec_110

Подробнее

Авторы: Монтегю Р.

Отраслевые рубрики: логика, философские науки

Ключевые слова: временные операторы, выражения, деонтическая логика, интерпретации, модальная логика, общезначимость языка, объекты, прагматика, прагматический язык, семиотика, смысл, язык

Индексы ББК: 87.4, 87.41

Представления: Формат MARC21

9. Статья (мон.)

Полочный шифр: 87.452я43 - С 30

Габбай, Д. М.
Общий метод фильтрации для модальных логик / Д. М. Габбай ; перевод А. А. Мучника
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 205-211.

Найти похожие

Источник

URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=13955&idb=ec_110

Подробнее

Авторы: Габбай Д. М.

Отраслевые рубрики: логика, философские науки

Ключевые слова: доказательства, индукция, леммы, метод фильтрации, модальная логика, суждение, теоремы

Индексы ББК: 87.4, 87.43, 87.42, 87.44

Представления: Формат MARC21

10. Статья (мон.)

Полочный шифр: 87.452я43 - С 30

Сесерберг, К.
Модальные логики с линейными отношениями альтернативности / К. Сесерберг ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 180-204.

Найти похожие

Источник

URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=13954&idb=ec_110

Подробнее

Авторы: Сесерберг К.

Отраслевые рубрики: логика, философские науки

Ключевые слова: альтернативность, бимодальная логика, временная логика, доказательства, линейные отношения, модальная логика, модельные структуры, мономодальная логика, пропозициональная логика, суждение, теоремы, теория фильтрации

Индексы ББК: 87.4, 87.41, 87.42, 87.43

Представления: Формат MARC21

11. Статья (мон.)

Полочный шифр: 87.452я43 - С 30

Хинтикка, Я.
Модальность и квантификация / Я. Хинтикка ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 60-75.

Найти похожие

Источник

URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=13949&idb=ec_110

Подробнее

Авторы: Хинтикка Я.

Отраслевые рубрики: логика, философские науки

Ключевые слова: альтернативность, выполнимость, интуиция, квантификация, логическая семантика, логический синтаксис, методология, модальность, общезначимость, семантические методы, синтаксические методы, суждение

Индексы ББК: 87.4, 87.43, 87.41, 87.422

Представления: Формат MARC21

12. Статья (мон.)

Полочный шифр: 87.452я43 - С 30

Белнап, Н. Д.
Интенсиональные модели для формул первой ступени / Н. Д. Белнап ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 325-362.

Найти похожие

Источник

URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=13961&idb=ec_110

Подробнее

Авторы: Белнап Н. Д.

Отраслевые рубрики: логика, философские науки

Ключевые слова: аксиомы, буквы, ветви, гомоморфизмы, деревья, интенсиональные логики, интенсиональные модели, интенсиональные решетки, истинностный фильтр, кванторы, критические модели, логические системы, модельные системы, последовательности, предикаты, пропозициональные переменные, теория суждений, формулы первой степени

Индексы ББК: 87.4, 87.41, 87.43, 87.422

Представления: Формат MARC21

13. Статья (мон.)

Полочный шифр: 87.452я43 - С 30

Прайор, А. Н.
Временная логика и непрерывность времени / А. Н. Прайор ; перевод З. А. Сокулер
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 76-97.

Найти похожие

Источник

URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=13950&idb=ec_110

Подробнее

Авторы: Прайор А. Н.

Отраслевые рубрики: логика, философские науки

Ключевые слова: временная логика, дедукция, импликация, интерпретации, интуиция, истинность, модальные системы, непрерывность времени, операторы, пропозициональное исчисление, суждение, эквивалентность

Персоналии: Диодор Сицилийский, Хэмблин К. Л.

Индексы ББК: 87.4, 87.43, 87.41, 87.422

Представления: Формат MARC21

14. Статья (мон.)

Полочный шифр: 87.452я43 - С 30

Хинтикка, Я.
Виды модальности / Я. Хинтикка ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 41-59.

Найти похожие

Источник

URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=13948&idb=ec_110

Подробнее

Авторы: Хинтикка Я.

Отраслевые рубрики: логика, философские науки

Ключевые слова: импликация, интерпретации, логическая семантика, модальная логика, модальность, модальные системы, субъективность, эпистемология

Индексы ББК: 87.4, 87.43, 87.41

Представления: Формат MARC21

15. Статья (мон.)

Полочный шифр: 87.452я43 - С 30

Леммон, Е.
Алгебраическая семантика для модальных логик II / Е. Леммон ; перевод А. А. Мучника
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 125-165.

Найти похожие

Источник

URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=13952&idb=ec_110

Подробнее

Авторы: Леммон Е.

Отраслевые рубрики: логика, философские науки

Ключевые слова: алгебра логики, алгебраическая семантика, логическая семантика, матрицы, модальная логика, модельная структура, пересечения, суждение, теоремы, эквивалентность

Индексы ББК: 87.4, 87.41, 87.43

Представления: Формат MARC21

16. Статья (мон.)

Полочный шифр: 87.452я43 - С 30

Леммон, Е.
Алгебраическая семантика для модальных логик I / Е. Леммон ; перевод А. А. Мучника
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 98-124.

Найти похожие

Источник

URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=13951&idb=ec_110

Подробнее

Авторы: Леммон Е.

Отраслевые рубрики: логика, философские науки

Ключевые слова: алгебра логики, алгебраическая семантика, алгебры, индукция, интерпретации, логическая семантика, матрицы, модальная логика, модальные системы, модельная структура, суждение, теоремы, финитная аппроксимируемость

Индексы ББК: 87.4, 87.43, 87.44, 87.41

Представления: Формат MARC21