K Modal Logic Approach to Maze Solving. - Dinko Osmankovic; Aleksandar Acimovic (SACI, 2018)