Лукьянчук, Александра Николаевна. Аксиоматизация линейной логики знания и времени LTK [r] с интранзитивным отношением времени [Текст] / А. Н. Лукьянчук, В. В. Римацкий // Сибирский математический журнал. - 2013. - Т. 54, № 6 (322). - С. 1304-1314. - Библиогр.: с. 1314 (11 назв.) . - ISSN 0037-4474
Рубрики: Математика Математическая логика Кл.слова (ненормированные): аксиоматизация -- канонические модели -- линейные логики -- логика знания -- много-модальные логики Аннотация: Исследуется вопрос аксиоматизации линейной много-модальной пропозициональной логики знания и времени LTK [r] с рефлексивным и интранзитивным отношением времени. Доп.точки доступа: Римацкий, Виталий Валентинович Нет сведений об экземплярах (Источник в БД не найден) |