Is Modal Logic - Lame?

By this question, I don’t mean so much the ontological commitment - modal realism ect., but just merely, working out problems by adding up the sum total of a bunch of formally stated premesis, especially with modal qualifiers.

I’m all for tightening up arguments and precision. I know…

But I just can’t force myself to study the subject very deeply.  I’ve studied logic with quantification and all that abit, and it’s a little bit interesting in its own right, but here’s the thing. How many philosophy oriented deductive arguments past two or three steps have made a serious difference - or contribution for that matter?

It seems to me that it’s rare to even get agreement on problems that are stated with two or three premesis.  And that’s just standard quantification. Now add in “possibly” and so on, and how many formally stated arguments out there past three steps are generally agreed upon as being true?