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

연구를 읽는 두 가지 질문

세 상태를 이름으로 다시 방문하기

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

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

LTCT 문항은 같은 상태도를 주고 ① 접근 가능한 상태, ② 이름이 가리키는 상태, ③ @ 연산 뒤 평가 위치를 차례로 묻게 할 수 있습니다. 기호 암기보다 지시 대상과 이동 경로를 그리게 하면 오류 위치가 드러납니다.