Tóth, K. 1979. “Modal Logics With Function Symbols”. Acta Cybernetica 4 (3), 291-302. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3191.