Л. В. Дворкин, ``Финитная аппроксимируемость предтранзитивных аналогов (w)K4 и GL'', Сириус. Мат. ж. 1, No. 3, 60−80 (2025).

Нормальная модальная логика предтранзитивна, если в ней выразима модальность, соответствующая транзитивному замыканию отношения достижимости. Мы установим финитную аппроксимируемость предтранзитивных обобщений K4, wK4, GL и их расширений каноническими формулами, наследуемыми подшкалами.

Работа выполнена при поддержке Фонда развития теоретической физики и математики «БАЗИС» (конкурс «Junior Leader»).