Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

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

Идентификатор DOI: 10.1007/978-3-319-69917-2_11

Ключевые слова: Admissibility problem, Admissible rules, Deciding algorithms, Knowledge, Linear temporal logic, Logical knowledge operations, Non-transitive time

Аннотация: We investigate linear temporal logic LTLNT with non-transitive time and operators NEXT and UNTIL, as well as some possible interpretations of logical knowledge operators in this context. We assume time to be non-transitive, linear and discrete, the former We investigate linear temporal logic LTLNT with non-transitive time and operaПоказать полностьюtors NEXT and UNTIL, as well as some possible interpretations of logical knowledge operators in this context. We assume time to be non-transitive, linear and discrete, the former

Журнал: Larisa Maksimova on implication, interpolation, and definability

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

Номера страниц: 219-243

ISSN журнала: 22112766

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

Издатель: Springer

• Rybakov Vladimir V. (Siberian Fed Univ Krasnoyarsk, Inst Math & Informat, Av Svobodnui 79, Krasnoyarsk 660041, Russia; RAS, Siberian Div, Inst Informat Syst, Av Svobodnui 79, Krasnoyarsk 660041, Russia)

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