Тип публикации: диссертация
Год издания: 2015
Ключевые слова: много-модальная логика, допустимые правила вывода
Аннотация: Цель: изучение вопроса разрешимости представленной логики относительно доказуемости формул и допустимости правил вывода. Установлены финитная аппроксимируемость, а также алгоритмическая разрешимость проблемы распознавания доказуемых формул линейной многомодальной интранзитивной логики LTK_r в языке с несколькими модальными операторПоказать полностьюами. Также установлена алгоритмическая разрешимость проблемы распознавания допустимых правил вывода в логике без свойства формульности элементов n-характеристической модели.