Modal Logics with Transitive Closure: Completeness, Decidability, Filtration.

Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin

Browse the full AiML paper archive.