RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
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:1307
Abstract pages:931
Full texts:229
References:149
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.

Subject:

Modal logic, spatial logic, complexity.


http://www.mathnet.ru/eng/person30127
http://scholar.google.com/citations?user=9fkvQdsAAAAJ&hl=en
http://zbmath.org/authors/?q=ai:kudinov.andrey
https://mathscinet.ams.org/mathscinet/MRAuthorID/832419
http://orcid.org/0000-0003-0162-2306
http://www.researcherid.com/rid/B-4654-2016

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



   2018
1. 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

   2017
2. 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)

   2016
3. 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

   2014
4. 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
5. 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

   2013
6. 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

   2012
7. 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
8. A. V. Kudinov, “Modal logic of some products of neighborhood frames”, Advances in Modal Logic, 9, 2012, 386–394  mathnet  mathscinet  zmath  isi

   2008
9. 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)

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

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

December 2, 2014

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