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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.