2019 г.

Modal logics of finite direct powers of $\omega$ have the finite model property. https://arxiv.org/abs/1903.04614

Перейти к публикации

Авторы: Шапировский И.Б.