Войти
Логин:
Пароль:
Забыли пароль?
научная деятельность
структура институтаобразовательные проектыпериодические изданиясотрудники институтапресс-центрконтакты
русский | english

2020 г.

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

Авторы: Кикоть С.П., Шапировский И.Б., Золин Е.Е.
 

 

  © Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2021
Об институте  |  Контакты  |  Старая версия сайта