Modal logic is special because it uses statements that are qualified with expressions like necessarily, possibly, or sometimes.