|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О линейной логике знания и времени с интранзитивным отношением времени
В. Ф. Юнab a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
b Новосибирский гос. университет, ул. Пирогова, 2, Новосибирск 630090
Аннотация:
В [1] введена линейная полимодальная логика знания и времени с интранзитивным отношением времени как множество формул, общезначимых в фреймах специального вида. В [2] введено исчисление $AS_{LTK_r}$, связанное с классом таких фреймов. В данной работе найдена формула линейной логики знания и времени с интранзитивным отношением времени, которая не выводится в исчислении $AS_{LTK_r}$.
Ключевые слова:
полимодальная логика, фреймы Крипке, аксиоматизация, полнота.
Статья поступила: 09.12.2014
Образец цитирования:
В. Ф. Юн, “О линейной логике знания и времени с интранзитивным отношением времени”, Сиб. матем. журн., 56:3 (2015), 715–719; Siberian Math. J., 56:3 (2015), 565–568
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj2672 https://www.mathnet.ru/rus/smj/v56/i3/p715
|
|