가능한 세계마다 이름을 붙이면 보통 양상논리보다 무엇을 더 말할 수 있을까?

그림에서 무엇을 볼까요?

대기, 응시, 제출 세 상태와 응시 상태 이름 e, 현재 위치에서 e로 평가점을 옮기는 화살표

대기·응시·제출의 세 상태가 일렬로 연결돼 있다고 합시다. 보통 ‘다음에 제출 상태가 가능하다’고 말할 수 있고, 혼합논리에서는 e를 응시 상태의 이름으로 정해 ‘e에서 신분확인이 완료됐다’처럼 특정 상태의 사실을 다시 점검할 수 있습니다.

현재 화면이 제출 상태여도 @e 확인완료의 평가는 e로 이동합니다. 따라서 ‘지금 참’과 ‘명명한 상태에서 참’을 한 칸에 섞으면 안 됩니다. 도식은 평가 위치 이동과 시간 이동을 다른 화살표로 구분합니다.