; I is a nonempty set (regarded as playing the role of the set of worlds); is a binary relation over I (regarded as the accessibility relation); assigns to each in I a weak ordering of I (regarded as the comparative similarity ordering of worlds from the stand point of i) such that whenever, if iRk then iRj; assigns to each sentence