K. Tóth. Completeness in non-simple and stable modal logics. Acta Cybernetica, 4(4):377-382, 1980. [ PDF ]
K. Tóth. Modal logics function symbols. Acta Cybernetica, 4(3):291-302, 1979. [ PDF ]
This document was translated from BibTEX by bibtex2html