Тип публикации: статья из журнала
Год издания: 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)
Вхождение в базы данных
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.