Золин Е. Модальные логики с оператором транзитивного замыкания (Ломоносовские чтения 2020)

. Евгений Золин, Станислав Кикоть, Илья Шапировский. «Модальные логики с оператором транзитивного замыкания». Мы формулируем достаточные условия для того, чтобы модальная логика с оператором транзитивного замыкания была полна по Крипке. Более точно, мы показываем, что если модальная логика допускает так называемые определимые фильтрации, то ее обогащение модальностью транзитивного замыкания (и соответствующими аксиомами Сегерберга) будет полна по Крипке, более того, получающаяся логика будет полн