L. . Cates, “Iterated modal propositions in scholastic logic: the S5 stance”, AP, vol. 12, no. 2, pp. 293–309, Sep. 2003.