Better Bounded Bisimulation Contractions

Thomas Bolander, Alessandro Burigana. Better Bounded Bisimulation Contractions. In Agata Ciabattoni, David Gabelaia, Igor Sedlár, editors, Advances in Modal Logic, AiML 2024, Prague, Czech Republic, August 19-23, 2024. pages 249-268, College Publications, 2024.

Abstract

Abstract is missing.