Kikot S, Kudinov A. On Strictly Positive Fragments of Modal Logics with Confluence. Mathematics. 2022; 10(19):3701. https://doi.org/10.3390/math10193701 Перейти к публикацииЗагрузить (486.8 KB)
Kudinov A. On neighbourhood product of some Horn axiomatizable logics //Logic Journal of the IGPL. – 2018. – Т. 26. – №. 3. – С. 316-338. Перейти к публикацииЗагрузить (488.2 KB)
Кудинов А. В., Шапировский И. Б. О финитной аппроксимируемости предтранзитивных логик конечной глубины // Успехи математических наук. — 2016. — Т. 71, № 1. — С. 164–166.
A. Kudinov, V. Shehtman. Derivational modal logics with the difference modality. Leo Esakia on Duality in Modal and Intuitionistic Logics, Series: Outstanding Contributions to Logic, Vol. 4, 2014, Springer.
D Загрузить (594.1 KB)
Некоторые примеры модальных логик без конечной аксиоматики. Сборник трудов конференции Информационные технологии и системы" (ИТиС"10) стр. 258-262, Москва, 2010.
Финитная аппроксимируемость обобщенно транзитивных симметричных модальных логик. Сборник статей конференции Информационные технологии и системы" (ИТиС"09) стр. 411-415, Москва, 2009
Andrey Kudinov, Topological Modal Logics with Difference Modality, In: Advances in Modal Logic, v. 6, 319-332, 2006 Перейти к публикацииЗагрузить (1 MB)