Подписаться
Andrey Kudinov
Andrey Kudinov
Institute for Problems of Information Transmission, National Research University Higher School of
Подтвержден адрес электронной почты в домене iitp.ru
Название
Процитировано
Процитировано
Год
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
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–16