JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Kudinov, Andrey Valer'evich
Total publications:
9 (9)
in MathSciNet:
7 (7)
in zbMATH:
7 (7)
in Web of Science:
8 (8)
in Scopus:
5 (5)
Cited articles:
5
Citations:
34
Presentations:
32
Number of views:
This page: 3072 Abstract pages: 1449 Full texts: 510 References: 196
Candidate of physico-mathematical sciences
Speciality:
01.01.06 (Mathematical logic, algebra, and number theory)
Birth date:
19.01.1979
E-mail:
email , email
Keywords:
real line,
difference modality,
spatial logic.
Subject:
Modal logic, spatial logic, complexity.
https://www.mathnet.ru/eng/person30127
https://scholar.google.com/citations?user=9fkvQdsAAAAJ&hl=en
https://zbmath.org/authors/?q=ai:kudinov.andrey
https://mathscinet.ams.org/mathscinet/MRAuthorID/832419
https://orcid.org/0000-0003-0162-2306
https://www.webofscience.com/wos/author/record/B-4654-2016
Full list of publications:
Citations (Crossref Cited-By Service + Math-Net.Ru )
2018
1.
Andrey Kudinov, “On neighbourhood product of some Horn axiomatizable logics”, Log. J. IGPL , 26 :3 (2018), 316–338 , arXiv: 1609.03232
2
[x]
2017
2.
A. V. Kudinov, I. B. Shapirovsky, “Partitioning Kripke frames of finite height”, Izv. Math. , 81 :3 (2017), 592–617
2016
3.
A. Kudinov, I. Shapirovsky, “Finite model property of modal logics of finite depth”, Russian Math. Surveys , 71 :1 (2016), 164–166
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
7
[x]
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
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
17
[x]
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
8.
A. V. Kudinov, “Modal logic of some products of neighborhood frames”, Advances in Modal Logic, 9 , 2012, 386–394
2008
9.
A. V. Kudinov, “Topological modal logic of $\mathbb R$ with inequality”, Russian Math. Surveys , 63 :1 (2008), 163–165
Presentations in Math-Net.Ru
1.
Лекция 1. Сложность неклассических логик A. V. Kudinov
September 10, 2024 18:00
2.
Complexity of non-normal logics and the logics with counting of axioms applications A. V. Kudinov
Seminars
"Proof Theory" and "Logic Online Seminar" May 27, 2024 18:30
3.
Lecture 13. Neighbourhood semantics of modal logics A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics" December 12, 2023 18:30
4.
Lecture 12. Neighbourhood semantics of modal logics A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics" December 5, 2023 18:30
5.
Lecture 11. Neighbourhood semantics of modal logics A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics" November 28, 2023 18:30
6.
Lecture 10. Neighbourhood semantics of modal logics A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics" November 21, 2023 18:30
7.
Lecture 9. Neighbourhood semantics of modal logics A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics" November 14, 2023 18:30
8.
Lecture 8. Neighbourhood semantics of modal logics A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics" November 7, 2023 18:30
9.
Lecture 7. Neighbourhood semantics of modal logics A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics" October 24, 2023 18:30
10.
Lecture 6. Neighbourhood semantics of modal logics A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics" October 17, 2023 18:30
11.
Lecture 5. Neighbourhood semantics of modal logics A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics" October 10, 2023 18:30
12.
Lecture 4. Neighbourhood semantics of modal logics A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics" October 3, 2023 18:30
13.
Lecture 3. Neighbourhood semantics of modal logics A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics" September 26, 2023 18:30
14.
Lecture 2. Neighbourhood semantics of modal logics A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics" September 19, 2023 18:30
15.
Lecture 1. Neighbourhood semantics of modal logics A. V. Kudinov, D. S. Shamkanov
Course by A. V. Kudinov and D. S. Shamkanov "Neighbourhood semantics of modal logics" September 12, 2023 18:30
16.
Many-dimensional modal logics for neighborhood semantics Andrey Kudinov
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023) June 15, 2023 12:00
17.
Lecture 13. Introduction to Nonclassical Logics A. V. Kudinov
Introduction to Nonclassical Logics May 15, 2023 14:45
18.
Lecture 12. Introduction to Nonclassical Logics A. V. Kudinov
Introduction to Nonclassical Logics April 24, 2023 14:45
19.
Lecture 11. Introduction to Nonclassical Logics A. V. Kudinov
Introduction to Nonclassical Logics April 17, 2023 14:45
20.
Lecture 10. Introduction to Nonclassical Logics A. V. Kudinov
Introduction to Nonclassical Logics April 10, 2023 14:45
21.
Lecture 9. Introduction to Nonclassical Logics A. V. Kudinov
Introduction to Nonclassical Logics April 3, 2023 14:45
22.
Lecture 8. Introduction to Nonclassical Logics A. V. Kudinov
Introduction to Nonclassical Logics March 27, 2023 14:45
23.
Lecture 7. Introduction to Nonclassical Logics A. V. Kudinov
Introduction to Nonclassical Logics March 20, 2023 14:45
24.
Lecture 6. Introduction to Nonclassical Logics A. V. Kudinov
Introduction to Nonclassical Logics March 13, 2023 14:45
25.
Lecture 5. Introduction to Nonclassical Logics A. V. Kudinov
Introduction to Nonclassical Logics March 6, 2023 14:45
26.
Lecture 4. Introduction to Nonclassical Logics A. V. Kudinov
Introduction to Nonclassical Logics February 27, 2023 14:45
27.
Lecture 3. Introduction to Nonclassical Logics A. V. Kudinov
Introduction to Nonclassical Logics February 20, 2023 14:45
28.
Lecture 2. Introduction to Nonclassical Logics A. V. Kudinov
Introduction to Nonclassical Logics February 13, 2023 14:45
29.
Lecture 1. Introduction to Nonclassical Logics A. V. Kudinov
Introduction to Nonclassical Logics February 6, 2023 14:45
30.
On Strictly Positive Fragments of Modal Logics with Confluence A. V. Kudinov
Seminars
"Proof Theory" and "Logic Online Seminar" November 14, 2022 18:30
31.
Топологические модальные логики прямой A. V. Kudinov
March 14, 2017 18:30
32.
Об одной старой просто формулируемой нерешенной
задаче в модальной логике A. V. Kudinov
December 2, 2014
Organisations