Ilya Shapirovsky and Evgeny Zolin. On completeness of logics enriched with transitive closure modality.
In 7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015), pages
255–257, 2015.
| Авторы: Золин Е.Е., Шапировский И.Б. |