Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger: Decidability of order-based modal logics. J. Comput. Syst. Sci. 88: 53-74 (2017)