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.
| Authors: Zolin E.E., Shapirovsky I. |