A New Method for Bounding the Complexity of Modal Logics