TY  - RPRT
TI  - Completeness of logics with the transitive closure modality and related logics
AU  - Stanislav Kikot
AU  - Ilya Shapirovsky
AU  - Evgeny Zolin
PY  - 2020
UR  - https://arxiv.org/abs/2011.02205
ID  - 2011.02205
ER  -