Bahareh Afshari. Cyclic Proof Systems for Modal Logics. 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 3, College Publications, 2020. [doi]
Abstract is missing.