| Найдено документов - 1 | Выборка документов | Версия для печати |
Сортировать по:
1. Статья (мон.)
Полочный шифр: 87.452я43 - С 30
Сесерберг, К.
Модальные логики с линейными отношениями альтернативности / К. Сесерберг ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 180-204.
Модальные логики с линейными отношениями альтернативности / К. Сесерберг ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 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