TY  - RPRT
TI  - Decidability of modal logics of non-$k$-colorable graphs
AU  - Ilya Shapirovsky
PY  - 2023
UR  - https://arxiv.org/abs/2303.09934
ID  - 2303.09934
ER  -