Modal Separability of Fixpoint Formulae

Jean Christoph Jung, Jedrzej Kolodziejski. Modal Separability of Fixpoint Formulae. In Laura Giordano 0001, Jean Christoph Jung, Ana Ozaki, editors, Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024. Volume 3739 of CEUR Workshop Proceedings, CEUR-WS.org, 2024. [doi]

Abstract

Abstract is missing.