Kudinov, Andrey Valer'evich

Total publications: 9 (9)
in MathSciNet: 7 (7)
in zbMATH: 7 (7)
in Web of Science: 8 (8)
in Scopus: 6 (6)
Cited articles: 2
Citations in Math-Net.Ru: 4
Citations in Web of Science: 3
Citations in Scopus: 6
Presentations: 2

Number of views:
This page:1305
Abstract pages:931
Full texts:229
Candidate of physico-mathematical sciences
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
Birth date: 19.01.1979
E-mail: ,
Keywords: real line, difference modality, spatial logic.


Modal logic, spatial logic, complexity.

Full list of publications:
| scientific publications | by years | by types | by times cited in WoS | by times cited in Scopus | common list |

1. A. V. Kudinov, “Topological modal logic of $\mathbb R$ with inequality”, Russian Math. Surveys, 63:1 (2008), 163–165  mathnet  crossref  crossref  mathscinet  zmath  isi (cited: 3)  elib  elib  elib  elib  scopus (cited: 5)  scopus (cited: 5)
2. Andrey Kudinov, “On neighbourhood product of some Horn axiomatizable logics”, Log. J. IGPL, 26:3 (2018), 316–338 , arXiv: 1609.03232  mathnet  crossref  mathscinet  isi
3. A. V. Kudinov, I. B. Shapirovsky, “Partitioning Kripke frames of finite height”, Izv. Math., 81:3 (2017), 592–617  mathnet  crossref  crossref  mathscinet  adsnasa  isi  elib  elib  elib  scopus (cited: 1)  scopus (cited: 1)
4. A. Kudinov, I. Shapirovsky, “Finite model property of modal logics of finite depth”, Russian Math. Surveys, 71:1 (2016), 164–166  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  elib  elib  elib  scopus  scopus
5. Andrey Kudinov, Valentin Shehtman, “Derivational modal logics with the difference modality”, Leo Esakia on duality in modal and intuitionistic logics, Outst. Contrib. Log., 4, Springer, Dordrecht, 2014, 291–334  mathnet  crossref  zmath
6. Andrey Kudinov, “Neighbourhood frame product $K\times K$”, Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014, Advances in Modal Logic, 10, College Publications, London, 2014, 373–386  mathnet  mathscinet  zmath  isi
7. Philippe Balbiani, Hans van Ditmarsch, Andrey Kudinov, “Subset space logic with arbitrary announcements”, Indian Conference on Logic and Its Applications (ICLA 2013), Chennai, India, January 10–12, 2013, Lecture Notes in Comput. Sci., 7750, Springer, Berlin, 2013, 233–244  mathnet  crossref  mathscinet  zmath  isi
8. Andrey Kudinov, Ilya Shapirovsky, Valentin Shehtman, “On modal logics of Hamming spaces”, Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, Advances in Modal Logic, 9, College Publications, London, 2012, 395–410  mathnet  zmath  isi
9. A. V. Kudinov, “Modal logic of some products of neighborhood frames”, Advances in Modal Logic, 9, 2012, 386–394  mathnet  mathscinet  zmath  isi

Presentations in Math-Net.Ru
1. Топологические модальные логики прямой
A. V. Kudinov

March 14, 2017 18:30
2. Об одной старой просто формулируемой нерешенной задаче в модальной логике
A. V. Kudinov

December 2, 2014

Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020