Тип публикации: статья из журнала
Год издания: 2025
Идентификатор DOI: 10.33048/semi.2025.22.071
Ключевые слова: modal logic, knowledge, reliable information, temporal logic
Аннотация: In this article we continue series of our works for the study of various logical systems and their possible interpretation in the field of computer science [1,2]. Our goal is to expand the results that were presented in the article [2]. We also wish to show another look at the models with multivaluations that were presented in [3].Показать полностьюThe main purpose of our work is to prove that the proposed logical system is decidable. At the end of the paper we will also provide an overview of the open problems and possible studies of such system.
Журнал: Сибирские электронные математические известия
Выпуск журнала: Т. 22, № 2
Номера страниц: 1154-1163
ISSN журнала: 18133304
Место издания: Новосибирск
Издатель: Институт математики им. С.Л. Соболева СО РАН