Follow
Andrey Kudinov
Andrey Kudinov
Institute for Problems of Information Transmission, National Research University Higher School of
Verified email at iitp.ru
Title
Cited by
Cited by
Year
Subset space logic with arbitrary announcements
P Balbiani, H van Ditmarsch, A Kudinov
Logic and Its Applications, 233-244, 2013
352013
Topological Modal Logics with Difference Modality.
A Kudinov
Advances in modal logic 6, 319-332, 2006
232006
Derivational modal logics with the difference modality
A Kudinov, V Shehtman
Leo Esakia on Duality in Modal and Intuitionistic Logics, 291-334, 2014
142014
Neighbourhood Frame Product KxK
A Kudinov
Advances in Modal Logic 10, 373-386, 2012
10*2012
Modal logic of some products of neighborhood frames
A Kudinov
arXiv preprint arXiv:1405.6699, 2014
82014
Topological modal logic of IMG align= ABSMIDDLE alt= \mathbbR tex_rm_4507_img1/IMG with inequality
AV Kudinov
Russian Mathematical Surveys 63 (1), 163-165, 2008
72008
On partitioning Kripke frames of finite height
A Kudinov, I Shapirovsky
arXiv preprint arXiv:1511.09092, 2015
62015
Finite model property of pretransitive analogs of S5
A Kudinov, I Shapirovsky
Russian Mathematical Surveys 67 (4), 721-777, 2012
62012
Difference modality in topological spaces
A Kudinov
A talk at Algebraic and Topological Methods in Non-Classical Logics II, 2005
62005
On modal logics of Hamming spaces
A Kudinov, I Shapirovsky, V Shehtman
42012
D-logic of product of rational numbers
A Kudinov
4*
Finite approximability of modal logics with finite depth
AV Kudinov, IB Shapirovsky
Uspekhi Matematicheskikh Nauk 71 (1), 175-176, 2016
1*2016
On Strictly Positive Fragments of Modal Logics with Confluence
S Kikot, A Kudinov
Mathematics 10 (19), 3701, 2022
2022
On neighbourhood product of some Horn axiomatizable logics
K A.
Logic Journal of the IGPL 26 (3), 316-338, 2018
2018
On topological modal logic of real line with difference modality
A Kudinov
2007
On pretransitive logics of finite depth
A Kudinov, I Shapirovsky
The system can't perform the operation now. Try again later.
Articles 1–16