この資料をSMS送信: A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics