Ïóáëèêàöèé íà ñòðàíèöå: Page: 1 |  | |
 |
2017 year Authors: Kudinov A., Shapirovsky I.A.V. Kudinov and I.B. Shapirovsky. On partitioning Kripke frames of finite depth. Izvestiya: Mathematics, 81(3), 2017. In press.
|
 |
2016 year Authors: Kudinov A., Shapirovsky I.A.V. Kudinov and I.B. Shapirovsky. Finite model property of modal logics of finite depth. Russian
Mathematical Surveys, 71(1):164–166, 2016.
|
 |
2008 year Authors: Kudinov A.Topological modal logic of $mathbb R$ with inequality, UMN, 2008, 63:1(379), 163–165.
|
Ïóáëèêàöèé íà ñòðàíèöå: Page: 1 |  | |
|
|
Search for publications of A. Kudinov |
|
|