A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics (Proc. of LICS 2009, 2015)

(untitled) - Kazakov, Y; Pratt−Hartmann, I