Ruitenburg's Theorem via Duality and Bounded Bisimulations

Silvio Ghilardi, Luigi Santocanale. Ruitenburg's Theorem via Duality and Bounded Bisimulations. In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe, Thomas Studer, editors, Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. pages 277-290, College Publications, 2018. [doi]

Abstract

Abstract is missing.