정확히 한 날짜와 전날의 비지식 조건을 기호로 적은 한 가지 형식화의 뼈대다.

그림에서 무엇을 볼까요?

생각그림 11 · 정확히 한 날짜와 전날의 비지식 조건을 기호로 적은 한 가지 형식화의 뼈대다.

각 날짜 d에 대해 T_d를 “d에 시험이 있다”, K_{d-1}(T_d)를 “전날 저녁 학생들이 d의 시험을 안다”라고 쓰자. 발표의 한 가지 자연스러운 뼈대는 “T_d 가운데 정확히 하나가 참”이고 모든 d에 대해 T_d이면 K_{d-1}(T_d)가 아니라는 결합이다. 그러나 K의 근거를 무엇으로 허용하는지는 이 식만으로 정해지지 않는다. 발표 전체, 그날까지의 무시험 기록, 발표의 일관성 가운데 무엇을 지식의 재료로 넣느냐에 따라 다른 체계가 된다. 기호화는 모호함을 없애기보다 모호함의 위치를 드러낸다.