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