А.В. Кудинов - Публикации

2017

Кудинов А.В., Шапировский И.Б., Кудинов А. В., Шапировский И. Б. О разбиениях шкал Крипке конечной высоты // Изв. РАН. Сер. матем.— 2017. — Vol. 81, no. 3. — В печати.

2016

Кудинов А.В., Шапировский И.Б., Кудинов А. В., Шапировский И. Б. О финитной аппроксимируемости предтранзитивных логик конечной глубины // Успехи математических наук. — 2016. — Т. 71, № 1. — С. 164–166.

2014

Кудинов А.В., Шехтман В.Б., 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

2012

Кудинов А.В., Шапировский И.Б., Шехтман В.Б., A. Kudinov, I. Shapirovsky, V. Shehtman. On modal logics of Hamming spaces. Advances in Modal Logic, Volume 9, 2012, pp. 395-410.

2011

Кудинов А.В., Модальная логика R с модальностью неравенства. Информационные технологии и системы (ИТИС-2011), ИППИ РАН, 2011

2010

Кудинов А.В., Balbiani P., A topological interpretation of public announcement logic. Advances in Modal Logic 2010, Extended Abstracts, Moscow, pp 6-11.
Кудинов А.В., Шапировский И.Б., Некоторые примеры модальных логик без конечной аксиоматики. Сборник трудов конференции Информационные технологии и системы" (ИТиС"10) стр. 258-262, Москва, 2010.

2009

Кудинов А.В., Шапировский И.Б., Финитная аппроксимируемость обобщенно транзитивных симметричных модальных логик. Сборник статей конференции Информационные технологии и системы" (ИТиС"09) стр. 411-415, Москва, 2009

2008

Kudinov A., Topological modal logic of $mathbb R$ with inequality, UMN, 2008, 63:1(379), 163–165.
Кудинов А.В., О топологической модальной логике $mathbb R$ с неравенством, Успехи математических наук, 63:1(379), 163–164, 2008. http://www.mathnet.ru/php/journal.phtml?wshow=paper&jrnid=rm&paperid=9066&year=2008&volume=63&issue=

2006

Кудинов А.В., Andrey Kudinov, Topological Modal Logics with Difference Modality, In: Advances in Modal Logic, v. 6, 319-332, 2006 http://www.aiml.net/volumes/volume6/