Completeness of logics with the transitive closure modality and related logics

From MaRDI portal
Publication:6352973

arXiv2011.02205MaRDI QIDQ6352973

Ilya B. Shapirovsky, Stanislav Kikot, Evgeni E. Zolin

Publication date: 4 November 2020








This page was built for publication: Completeness of logics with the transitive closure modality and related logics