Tóth, K. 1979. Modal logics with function symbols. Acta Cybernetica. 4, 3 (Jan. 1979), 291-302.