Cates, L. . Iterated Modal Propositions in Scholastic Logic: The S5 Stance. AP 2003, 12, 293-309.