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

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

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

L. V. Dvorkin, “Finite Model Property of Pretransitive Analogues of (w)K4 and GL,” J. Math. Sci. (New York), 294:6 (2025), 777−801.
DOI: 10.1007/s10958-025-08132-1