Сесерберг К. Модальные логики с линейными отношениями альтернативности / Сесерберг К.; перевод А. Л. Никифорова // Семантика модальных и интенсиональных логик. - Москва, 1981. - С. 180-204.Отраслевые рубрики: логика, философские науки Ключевые слова: альтернативность, бимодальная логика, временная логика, доказательства, линейные отношения, модальная логика, модельные структуры, мономодальная логика, пропозициональная логика, суждение, теоремы, теория фильтрации
|