RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор
Подписка

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Сиб. матем. журн.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Сиб. матем. журн., 2013, том 54, номер 6, страницы 1304–1314 (Mi smj2497)  

Эта публикация цитируется в 2 научных статьях (всего в 2 статьях)

Аксиоматизация линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени

А. Н. Лукьянчукa, В. В. Римацкийb

a Сибирский федеральный университет, Институт математики и фундаментальной информатики, кафедра алгебры и логики, пр. Свободный, 79, Красноярск 660041
b Сибирский федеральный университет, Институт математики и фундаментальной информатики, кафедра высшей математики, пр. Свободный, 79, Красноярск 660041

Аннотация: Исследуется вопрос аксиоматизации линейной много-модальной пропозициональной логики знания и времени $LTK_r$ с рефлексивным и интранзитивным отношением времени. Логика определяется семантически как множество формул, истинных на фреймах специального вида. $LTK_r$-фреймы представляют собой линейные цепочки сгустков, связанных рефлексивным и интранзитивным отношением $R_T$ , имитирующим время. Элементы внутри сгустка связаны несколькими отношениями эквивалентности, имитирующими знания различных агентов. Основным результатом работы является доказательство того, что предложенный авторами конечный набор формул есть аксиоматизация логики $LTK_r$ с рефлексивным и интранзитивным отношением времени.

Ключевые слова: много-модальная логика, линейная временна́я логика, логика знания, аксиоматизация, $n$-каноническая модель.

Полный текст: PDF файл (342 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Siberian Mathematical Journal, 2013, 54:6, 1037–1045

Реферативные базы данных:

Тип публикации: Статья
УДК: 510.643
Статья поступила: 25.03.2013

Образец цитирования: А. Н. Лукьянчук, В. В. Римацкий, “Аксиоматизация линейной логики знания и времени $LTK_r$ с интранзитивным отношением времени”, Сиб. матем. журн., 54:6 (2013), 1304–1314; Siberian Math. J., 54:6 (2013), 1037–1045

Цитирование в формате AMSBIB
\RBibitem{LukRim13}
\by А.~Н.~Лукьянчук, В.~В.~Римацкий
\paper Аксиоматизация линейной логики знания и времени $LTK_r$ с~интранзитивным отношением времени
\jour Сиб. матем. журн.
\yr 2013
\vol 54
\issue 6
\pages 1304--1314
\mathnet{http://mi.mathnet.ru/smj2497}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=3184096}
\transl
\jour Siberian Math. J.
\yr 2013
\vol 54
\issue 6
\pages 1037--1045
\crossref{https://doi.org/10.1134/S0037446613060104}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000329110700010}
\scopus{http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84891284996}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/smj2497
  • http://mi.mathnet.ru/rus/smj/v54/i6/p1304

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. В. Ф. Юн, “О линейной логике знания и времени с интранзитивным отношением времени”, Сиб. матем. журн., 56:3 (2015), 715–719  mathnet  crossref  mathscinet  elib; V. F. Yun, “On the linear logic of knowledge and time with intransitive time relation”, Siberian Math. J., 56:3 (2015), 565–568  crossref  isi  elib
    2. V. F. Yun, “On linear logic of knowledge and time”, Larisa Maksimova on Implication, Interpolation, and Definability, Outstanding Contributions to Logic, 15, ed. S. Odintsov, Springer, 2018, 339–349  crossref  mathscinet  isi  scopus
  • Сибирский математический журнал Siberian Mathematical Journal
    Просмотров:
    Эта страница:131
    Полный текст:41
    Литература:25
    Первая стр.:4
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019