Влияние аксиомы связности на сложность модальной логики.

Математика и теоретические компьютерные науки. 2025. Т. 3. № 2. С. 58–84.

Кудинов А. В., Мясников К. М.

В работе доказывается, что для слабо транзитивных логик с универсальной модальностью, проверку выполнимости формулы для которых можно произвести в PSPACE}, добавление аксиомы связности не увеличивает сложность этой проверки, причем строится явный алгоритм, который решает эту задачу.

Ключевые слова: модальная логика, algorithmic complexity, PSPACE, Modal Logic, Universal modality, алгоритмическая сложность, connectedness axiom, PSPACE, weak transitivity, аксиома связности, слабая транзитивность, универсальная модальность

ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА: Разработка системы моделей для сценарного прогнозирования экономического роста и ключевых макропараметров российской экономики, в том числе с привлечением данных экспертных опросов (2025)