Language, logic, and computation 13th international Tbilisi symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019 : revised selected papers - Özgün, Aybüke (Springer, 2022)