> I think that in computer science in general and formal methods in particular, temporal logic is more well known than all other modal logics combined (and prob

> I think that in computer science in general and formal methods in particular, temporal logic is more well known than all other modal logics combined (and probably more than even the name or concept of modal logic). Man it'd be super fun to write an overview essay on all the kinds of modal logic used in CS that _aren't_ temporal logic.