Logic is the construction and study of models for reasoning. There are many logics, because we reason in different ways, depending on the context. Modality shows up because there are contexts in which out statements are qualified (I can be rich, but I can also be *very* rich, and there is a difference between the two statements, and a connection of modality between the two, not captured by classical logic); temporality shows up because we sometimes reason with time; linear logic shows up (among other reasons) because we need to reason about resources (If I have a dollar, I can buy one candy — but we all know that we do not get to use the statement "I have a dollar" more than once... and this is difference from "There are infinitely many primes", which has not ceased to be true for a loooong time, and we do not expect it to); paraconsistent logics show up because we need to be able to reason in the presence of conflicting information, simply because we tend to have conflicting information; and so on. Of course, one wonders why logicians do not get their act together and come up with *one* logic to rule them all... Well, they may be waiting for physicists to wrap up their grand unified theory first! (N.B.: all of this is prefixed by a huge "In my opinion", of course)