A liberated version of S5. R. Meyer; H. Leblanc; K. Lambert — 1969 Archiv für mathematische Logik und Grundlagenforschung