more on this theme | more from this thinker | more from this text
Full Idea
S5 contains the four main reduction laws, so the first of any pair of operators may be deleted. Hence all but the last modal operator may be deleted. This leaves six modalities: p, ◊p, □p, and their negations.
Gist of Idea
In S5 all the long complex modalities reduce to just three, and their negations
Source
Max J. Cresswell (Modal Logic [2001], 7.1.2)
Book Ref
'Blackwell Guide to Philosophical Logic', ed/tr. Goble,Lou [Blackwell 2001], p.141