Decidability of weak logics with deterministic transitive closure.

Witold Charatonik, Emanuel Kieronski, Filip Mazowiecki

Browse the full CSL paper archive.