Выбор БД
Тип поиска
Вернуться на старый сайт
Сортировать по:
1. Статья (мон.)
bookCover
Полочный шифр: 87.452я43 - С 30
Сесерберг, К.
Модальные логики с линейными отношениями альтернативности / К. Сесерберг ; перевод А. Л. Никифорова
// Семантика модальных и интенсиональных логик. — Москва, 1981. — С. 180-204.
Подробнее
Авторы: Сесерберг К.
Отраслевые рубрики: логика, философские науки
Ключевые слова: альтернативность, бимодальная логика, временная логика, доказательства, линейные отношения, модальная логика, модельные структуры, мономодальная логика, пропозициональная логика, суждение, теоремы, теория фильтрации
Индексы ББК: 87.4, 87.41, 87.42, 87.43
Представления: Формат MARC21