@misc{indiciaedf229b754e32, title = {Completeness of logics with the transitive closure modality and related logics}, author = {Stanislav Kikot and Ilya Shapirovsky and Evgeny Zolin}, year = {2020}, url = {https://arxiv.org/abs/2011.02205}, note = {Source identifier: 2011.02205} }