Тип публикации: статья из журнала

Год издания: 2019

Идентификатор DOI: 10.33048/semi.2019.16.079

Ключевые слова: temporal logic, branching time logic, multi-agent logic, computability, information, satisfiability, decidability

Аннотация: This paper considers the branching time logic on non-transitive intervals of agent's accessibility relations. The agents' accessibility relations are defined inside transitivity intervals and via neighboring limit points, they may be not complete and lose

Журнал: SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA

Выпуск журнала: Vol. 16

Номера страниц: 1158-1170

ISSN журнала: 18133304

Место издания: NOVOSIBIRSK

Издатель: SOBOLEV INST MATHEMATICS

• Rybakov V.V. (Siberian Fed Univ, Inst Math & Comp Sci, 79 Svobodny Av, Krasnoyarsk 660041, Russia; AP Ershov Inst Informat Syst SB RAS, 6 Acad Lavrentjev Ave, Novosibirsk 630090, RussiaArticle)

• Web of Science Core Collection
• Scopus
• Ядро РИНЦ (eLIBRARY.RU)