How controversial is S5?
A quick question: I have picked up hints from the literature that there is sometimes a reluctance or a degree of controversy over the use of system 5 modal logic. How controversial actually is S5? If a theory of modality fails to account for S5 is that an acceptable loss? What are the main disputes surrounding it?