Decidability of modal logics of non-k-colorable graphs - Ilya Shapirovsky (2023)