Modal Logics with Transitive Closure: Completeness, Decidability, Filtration

Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin. Modal Logics with Transitive Closure: Completeness, Decidability, Filtration. In Nicola Olivetti, Rineke Verbrugge, Sara Negri, Gabriel Sandu, editors, 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020. pages 369-388, College Publications, 2020.

Possibly Related Publications

The following publications are possibly variants of this publication: