قضایا و قواعد منطق موجهات، در جهانهای ممکن، معتبرند اما قضایای منطق ربط، در جهانهای منطقی، و قواعد آن، در وضعیتها اعتبار دارند. روبرت مایر، در سال 1974، به کمک اداتهای صدق و کذبِ ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در