Тип публикации: статья из журнала
Год издания: 2025
Идентификатор DOI: 10.33048/semi.2025.22.065
Ключевые слова: modal logic, Kripke frame and model, admissible inference rule, globally admissible inference rules
Аннотация: The problem of decidability of global admissibility of GL logic rules, i.e. admissibility of an inference rule in all nitely approximable (tabular) extensions of GL logic at once, is investigated. For rules whose model satis es certain natural properties, a necessary and su cient condition for global admissibility in GL logic is oПоказать полностьюbtained. Based on the obtained description, an algorithm for checking the global admissibility of an arbitrary rule in reduced form is constructed. Thus, the problem of global admissibility in GL logic is decidable.
Журнал: Сибирские электронные математические известия
Выпуск журнала: Т. 22, № 2
Номера страниц: 1057-1072
ISSN журнала: 18133304
Место издания: Новосибирск
Издатель: Институт математики им. С.Л. Соболева СО РАН