Text this: Some decidable classes of modal logic S5