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

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

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



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






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


Сибирские электронные математические известия, 2020, том 17, страницы 923–932
DOI: https://doi.org/10.33048/semi.2020.17.068
(Mi semr1262)
 

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

Математическая логика, алгебра и теория чисел

Temporal logic with overlap temporal relations generated by time states themselves

V. V. Rybakovab

a Institute of Mathematics and Computer Science Siberian Federal University, 79, Svobodny ave., Krasnoyarsk, 660041, Russia
b A.P. Ershov Institute of informatics systems SB RAS, 6, Acad. Lavrentjev ave., Novosibirsk, 630090, Russia
Список литературы:
Аннотация: We study a temporal logic with non–standard temporal accessibility relations. This logic is generated by semantic underground models, and any such a model has a base formed by a frame with temporal relations generated by temporal states themselves; potentially, any state possesses its own temporal accessibility relation, and it is possible that all of them can be different. We consider this to be the most plausible modelling, because any time state has, in principle, its own view on what is past (or future). Time relations may have non–empty overlaps and they can be totally intransitive. Thus, this approach may be suitable for analysis of the most general cases of reasoning about computation, information flows, reliability, and other areas of AI and CS. The main mathematical question under consideration here is the existence of algorithms for solving satisfiability problems. Here we solve this problem and find the required algorithms. In the final part of our paper we formulate some interesting open problems.
Ключевые слова: temporal logic, non–classical logics, information, knowledge representation, deciding algorithms, computability, information, satisfiability, decidability.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 18-41-240005
Министерство науки и высшего образования Российской Федерации 075-02-2020-1534/1
Supported by RFBR and Krasnoyarsk Regional Fund of Science, research project 18-41-240005 and by the Krasnoyarsk Mathematical Center and the Ministry of Science and Higher Education of the Russian Federation, research project 075-02-2020-1534/1.
Поступила 2 февраля 2020 г., опубликована 9 июля 2020 г.
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.64
MSC: 03F99
Язык публикации: английский
Образец цитирования: V. V. Rybakov, “Temporal logic with overlap temporal relations generated by time states themselves”, Сиб. электрон. матем. изв., 17 (2020), 923–932
Цитирование в формате AMSBIB
\RBibitem{Ryb20}
\by V.~V.~Rybakov
\paper Temporal logic with overlap temporal relations generated by time states themselves
\jour Сиб. электрон. матем. изв.
\yr 2020
\vol 17
\pages 923--932
\mathnet{http://mi.mathnet.ru/semr1262}
\crossref{https://doi.org/10.33048/semi.2020.17.068}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000548271500001}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr1262
  • https://www.mathnet.ru/rus/semr/v17/p923
  • Эта публикация цитируется в следующих 4 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:186
    PDF полного текста:33
    Список литературы:25
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024