Philippe Balbiani. Decidable and undecidable problems for modal definability and…