Text this: Some decidable classes of formulas of modal logic S4