ÂÅÐÑÈß ÄËß ÑËÀÁÎÂÈÄßÙÈÕ
Enter
Login:
Password:
Forgot your password?
scientific activity
structureeducational projectsperiodicalsstaffpress centercontacts
ðóññêèé | english

2020 year

S. Kikot, I. Shapirovsky, and E. Zolin. Modal logics with transitive closure: completeness, decidability, filtration. In Advances in Modal Logic, volume 13, pages 369–388, 2020. ISBN 978-1-84890-341-8. https://arxiv.org/pdf/2011.02205.pdf

Authors: Kikot S., Shapirovsky I., Zolin E.
 

 

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