Is There Only One Correct System of Modal Logic?