2022 |
Кудинов А.В., Кикоть С.П., Kikot S, Kudinov A. On Strictly Positive Fragments of Modal Logics with Confluence. Mathematics. 2022; 10(19):3701. https://doi.org/10.3390/math10193701 http://iitp.ru/https://doi.org/ 10.3390/math10193701
|
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
|
2014 |
Кикоть С.П., Шапировский И.Б., Золин Е.Е., Stanislav Kikot, Ilya Shapirovsky, and Evgeny Zolin. Filtration safe operations on frames. In Advances in Modal Logic 10, invited and
contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014, pages 333-352, 2014. http://www.aiml.net/volumes/volume10/Kikot-Shapirovsky-Zolin.pdf
|