Before revision: Modal logic is processing statements about necessity and possibility.
After revision: Modal logic is a kind of logic used to represent statements about necessity and possibility.