TY - RPRT TI - A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics AU - Yevgeny Kazakov AU - Ian Pratt-Hartmann PY - 2009 DO - 10.1109/lics.2009.17 UR - https://arxiv.org/abs/0905.3108 ID - 0905.3108 ER -