ÂÅÐÑÈß ÄËß ÑËÀÁÎÂÈÄßÙÈÕ
Enter
Login:
Password:
Forgot your password?
scientific activity
structureeducational projectsperiodicalsstaffpress centercontacts
ðóññêèé | english
Ïóáëèêàöèé íà ñòðàíèöå:    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
Year of publication
from ïî
Author

Search phrase

Type of publication

Íàëè÷èå â ìåæäóíàðîäíûõ áàçàõ öèòèðîâàíèÿ
Search in department

Date descending
Date ascending
 

 

© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2024
About  |  Contacts  |  Ïðîòèâîäåéñòâèå êîððóïöèè