Completeness in non-simple and stable modal logics - Tóth K. (1980)