I modallogik findes mange systemer, et af dem kaldes S5 og har den egenskab at: S5: 00…□ = □ and 00…◊ = ◊, where each 0 is either □ or ◊ og et andet kaldes B (B) A→□◊A Altså, enhver række af symbolerne □ og ◊ er ensbetydende med det sidste symbol. I.e. hvis p…