Strengthening Consistency Results in Modal Logic