Tóth K.: Completeness in non-simple and stable modal logics. In: Acta cybernetica, (4) 4. pp. 377-382. (1980)
Tóth K.: Modal logics with function symbols. In: Acta cybernetica, (4) 3. pp. 291-302. (1979)