Тип публикации: статья из журнала
Год издания: 2024
Идентификатор DOI: 10.33048/semi.2024.21.086
Ключевые слова: modal logics, multi-agent logics, information, knowledge, problems of unification and admissibility, solving algorithms
Аннотация: This paper works with multi-agent none-classical modal logics generated by relational Kripke-like models describing transfer information and its' reliability. We suggest Kripke-like models essentially extending usual multi-modal Kripke semantics. We primarily study algorithmic problems connected with such logics. We find a proof thПоказать полностьюat such logics are decidable, finding algorithms verifying satisfiability formulas, we also solve the problem of admissibility inference rules via technique of projective formulas and unification, we prove that this problem is decidable in such logics.
Журнал: Сибирские электронные математические известия
Выпуск журнала: Т. 21, № 2
Номера страниц: 1370-1384
ISSN журнала: 18133304
Место издания: Новосибирск
Издатель: Институт математики им. С.Л. Соболева СО РАН