Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Год издания: 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