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 369388, 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  |