K. Tóth, “Modal logics with function symbols”, Acta Cybern, vol. 4, no. 3, pp. 291-302, Jan. 1979.