「又」的邏輯：持續、曾經、離開、返回與歷史路徑算子
English Title: The Logic of Again: Persistence, Prior Occurrence, Departure, Return, and Historical Path OperatorsSeries: Domain-Transition Information Logic, Paper IIAuthor: Neo.KCollaborator: Aletheia (GPT-5.6 Sol)Institution: EveMissLab / 一言諾科技有限公司Version: v0.1Date: 2026-08-10Status: Series II — Path-Operator Paper
摘要
Series II / Paper I 已建立 Domain-Transition Information Logic（DTIL）的基本區分：Q4 四態是局部狀態字母；B \mathbf B B Y ⇝ N \mathbf Y\rightsquigarrow\mathbf N Y ⇝ N
same current state ≠ same historical information state . \boxed{
\text{same current state}
\neq
\text{same historical information state}.
} same current state = same historical information state . 本文進一步研究這個差異最簡單、卻最容易被自然語言壓縮掉的一組歷史算子：「又、仍、曾、已」。
本文不試圖聲稱這四個中文字存在唯一、完整、固定的形式語義。自然語言中的「又／仍／曾／已」具有豐富的時態、體貌、語用與篇章功能。本文僅從 DTIL 的技術需求中抽取四類工作算子：
O n c e , S t i l l , A g a i n , C o m p l e t e d . \boxed{
\mathsf{Once},
\quad
\mathsf{Still},
\quad
\mathsf{Again},
\quad
\mathsf{Completed}.
} Once , Still , Again , Completed . 其中：
O n c e q \mathsf{Once}_q Once q S t i l l q \mathsf{Still}_q Still q A g a i n q \mathsf{Again}_q Again q C o m p l e t e d q \mathsf{Completed}_q Completed q
本文進一步區分 Return Event 與 Again State ：返回事件只在重新進入 (q) 的邊界瞬間成立，而 Again 狀態可在返回後持續保持。由此建立一套最小路徑代數：
S t a y , L e a v e , E n t e r , R e v e r s e , R e t u r n , R e c u r . \mathsf{Stay},
\mathsf{Leave},
\mathsf{Enter},
\mathsf{Reverse},
\mathsf{Return},
\mathsf{Recur}. Stay , Leave , Enter , Reverse , Return , Recur . 本文亦定義不同強度的「返回」：
R Q , R J , R Ψ , R Σ , R_Q,\quad
R_J,\quad
R_\Psi,\quad
R_\Sigma, R Q , R J , R Ψ , R Σ , 分別表示 Q4 狀態返回、判定域保持下的返回、語義身份保持下的返回，以及完整信息狀態返回。這使「見 (X) 又是 (X)」可以被精確表達為：分類投影返回，但並不必然是完整信息身份返回。
Past-time temporal logic 早已研究過 past operators，近期帶 perfect recall 的 temporal-epistemic model checking 更直接指出：兩條 histories 即使終止於同一 system state，past formulas 仍可能具有不同真值，因此必須追蹤額外的歷史 automaton state。本文因此不把「歷史算子」或「Once / Since」本身作為新穎性主張。本文較窄的工作是：將 path-sensitive operators 嵌入 Q4、Judgment Domain、Semantic Identity 與 transition-cause labels 的統一狀態模型，形成後續 MIF 歷史序列與「是又不是／不是又是」代數的基本操作層。
關鍵詞： Again Operator；Still；Once；歷史算子；路徑語義；Q4；判定域；DTIL；返回；持續；狀態機；MIF
1. 問題：一個「又」到底增加了什麼資訊？
比較：
X 是 Y \text{X 是 Y} X 是 Y 與：
X 又是 Y . \text{X 又是 Y}. X 又是 Y . 若兩句話在當前時刻都投影為：
ν t ( X ) = Y , \nu_t(X)=\mathbf Y, ν t ( X ) = Y , 那麼：
π n o w \pi_{\mathrm{now}} π now 看不出差異。
然而「又」至少暗示：
current state + a relevant prior occurrence . \boxed{
\text{current state}
+
\text{a relevant prior occurrence}.
} current state + a relevant prior occurrence . 更嚴格的「返回型又」還暗示：
prior occurrence + departure + return . \boxed{
\text{prior occurrence}
+
\text{departure}
+
\text{return}.
} prior occurrence + departure + return . 因此「又」攜帶的不是額外真值位元，而是：
path information . \boxed{
\text{path information}.
} path information . 2. 基本歷史模型
令：
Q = Q 4 = { Y , N , B , U } . Q
=
\mathbb Q_4
=
\{
\mathbf Y,\mathbf N,\mathbf B,\mathbf U
\}. Q = Q 4 = { Y , N , B , U } . 一條有限歷史：
H k = ( q 0 , q 1 , … , q k ) , q i ∈ Q . \boxed{
H_k
=
(q_0,q_1,\ldots,q_k),
\qquad
q_i\in Q.
} H k = ( q 0 , q 1 , … , q k ) , q i ∈ Q . 當前狀態：
Now ( H k ) = q k . \operatorname{Now}(H_k)
=
q_k. Now ( H k ) = q k . 若只保存：
q k , q_k, q k , 則所有具有相同終點的歷史都被壓縮在一起。
例如：
( Y ) , (\mathbf Y), ( Y ) , ( N , Y ) , (\mathbf N,\mathbf Y), ( N , Y ) , ( Y , N , Y ) , (\mathbf Y,\mathbf N,\mathbf Y), ( Y , N , Y ) , ( B , U , N , Y ) (\mathbf B,\mathbf U,\mathbf N,\mathbf Y) ( B , U , N , Y ) 全部有：
Now = Y . \operatorname{Now}
=
\mathbf Y. Now = Y . 但顯然不是同一條歷史。
3. Current-State Equivalence
定義：
H ∼ n o w H ′ \boxed{
H\sim_{\mathrm{now}}H'
} H ∼ now H ′ 當且僅當：
Now ( H ) = Now ( H ′ ) . \operatorname{Now}(H)
=
\operatorname{Now}(H'). Now ( H ) = Now ( H ′ ) . 這是一個很粗的等價關係。
它只回答：
現在是不是同一個局部狀態？
而不回答：
是怎麼到這裡的？
因此：
H ∼ n o w H ′ ⇏ H ∼ h i s t o r y H ′ . \boxed{
H\sim_{\mathrm{now}}H'
\not\Rightarrow
H\sim_{\mathrm{history}}H'.
} H ∼ now H ′ ⇒ H ∼ history H ′ . 4. Past-Time Logic 已經證明這種差異是實質的
Past-time temporal logic 早已允許公式直接依賴過去路徑，而不是只依賴當前 state。LTL with Past 的 path checking 與 monitoring 已有成熟研究。(arxiv.org )
更直接的是 2026 年對 epistemic metric temporal logic with past 的研究：在 synchronous perfect-recall semantics 下，past formulas 可以在終止於相同 system state 的不同 histories 上具有不同真值 ，因此 model checker 必須追蹤 temporal automaton states，而不能只追蹤當前 system state。(arxiv.org )
所以：
same endpoint ≠ same past-sensitive logical state \boxed{
\text{same endpoint}
\neq
\text{same past-sensitive logical state}
} same endpoint = same past-sensitive logical state 並不是本文單獨的直覺。
它是歷史敏感邏輯的一個實質計算現象。
5. O n c e \mathsf{Once} Once
先定義最簡單的 past operator。
對：
q ∈ Q , q\in Q, q ∈ Q , 定義：
O n c e q ( H k ) = 1 \boxed{
\mathsf{Once}_q(H_k)=1
} Once q ( H k ) = 1 當且僅當：
∃ i < k : q i = q . \exists i<k:
q_i=q. ∃ i < k : q i = q . 注意這裡採用：
i < k i<k i < k 而不是：
i ≤ k . i\le k. i ≤ k . 因此它表示：
strict-past occurrence . \boxed{
\text{strict-past occurrence}.
} strict-past occurrence . 若只想表示「歷史到目前為止曾包含 (q)，包括現在」，可以另外定義：
E v e r q . \mathsf{Ever}_q. Ever q . 6. E v e r \mathsf{Ever} Ever
定義：
E v e r q ( H k ) = 1 \boxed{
\mathsf{Ever}_q(H_k)=1
} Ever q ( H k ) = 1 當且僅當：
∃ i ≤ k : q i = q . \exists i\le k:
q_i=q. ∃ i ≤ k : q i = q . 因此：
O n c e q ( H k ) ⇒ E v e r q ( H k ) , \mathsf{Once}_q(H_k)
\Rightarrow
\mathsf{Ever}_q(H_k), Once q ( H k ) ⇒ Ever q ( H k ) , 但反向不一定。
例如：
H = ( N , Y ) . H=(\mathbf N,\mathbf Y). H = ( N , Y ) . 在最後位置：
E v e r Y = 1 , \mathsf{Ever}_{\mathbf Y}=1, Ever Y = 1 , 但：
O n c e Y = 0. \mathsf{Once}_{\mathbf Y}=0. Once Y = 0. 因為 Y \mathbf Y Y
7. 「曾是」不代表「現在是」
若：
O n c e Y ( H ) = 1 , \mathsf{Once}_{\mathbf Y}(H)=1, Once Y ( H ) = 1 , 不能推出：
Now ( H ) = Y . \operatorname{Now}(H)=\mathbf Y. Now ( H ) = Y . 例如：
H = ( Y , N ) . H=(\mathbf Y,\mathbf N). H = ( Y , N ) . 有：
O n c e Y = 1 , \mathsf{Once}_{\mathbf Y}=1, Once Y = 1 , 但：
Now = N . \operatorname{Now}
=
\mathbf N. Now = N . 因此：
Past occurrence ≠ current persistence . \boxed{
\text{Past occurrence}
\neq
\text{current persistence}.
} Past occurrence = current persistence . 8. S t i l l \mathsf{Still} Still
「仍」需要一個 reference anchor。
否則：
從什麼時候開始算「仍然」？
並不明確。
因此對：
a ≤ k a\le k a ≤ k 定義：
S t i l l q ( H k ; a ) = 1 \boxed{
\mathsf{Still}_q(H_k;a)=1
} Still q ( H k ; a ) = 1 當且僅當：
∀ i ∈ [ a , k ] : q i = q . \forall i\in[a,k]:
q_i=q. ∀ i ∈ [ a , k ] : q i = q . 也就是從 reference point (a) 到現在沒有離開 (q)。
9. 全歷史 Still
如果：
a = 0 , a=0, a = 0 , 則：
S t i l l q 0 ( H k ) \boxed{
\mathsf{Still}_q^{0}(H_k)
} Still q 0 ( H k ) 表示：
q 0 = q 1 = ⋯ = q k = q . q_0=q_1=\cdots=q_k=q. q 0 = q 1 = ⋯ = q k = q . 這是一個非常強的 persistence。
自然語言中的「仍是」通常不一定從整段歷史起點計算，因此：
S t i l l q 0 \mathsf{Still}_q^0 Still q 0 只是一種技術特例。
10. S t a y \mathsf{Stay} Stay
定義 elementary edge：
S t a y ( q ) : q → q . \boxed{
\mathsf{Stay}(q):
q\rightarrow q.
} Stay ( q ) : q → q . 若：
q k − 1 = q k = q , q_{k-1}=q_k=q, q k − 1 = q k = q , 則：
S t a y q ( k ) = 1. \mathsf{Stay}_q(k)=1. Stay q ( k ) = 1. 注意：
S t a y q ( k ) \mathsf{Stay}_q(k) Stay q ( k ) 只表示一個 step 的持續。
而：
S t i l l q ( H ; a ) \mathsf{Still}_q(H;a) Still q ( H ; a ) 表示整個 interval 的持續。
11. L e a v e \mathsf{Leave} Leave
定義：
L e a v e q ( k ) = 1 \boxed{
\mathsf{Leave}_q(k)=1
} Leave q ( k ) = 1 當且僅當：
q k − 1 = q q_{k-1}=q q k − 1 = q 且：
q k ≠ q . q_k\neq q. q k = q . 也就是：
q → Q ∖ { q } . \boxed{
q
\rightarrow
Q\setminus\{q\}.
} q → Q ∖ { q } . 它只要求離開，不指定去了哪一態。
12. E n t e r \mathsf{Enter} Enter
定義：
E n t e r q ( k ) = 1 \boxed{
\mathsf{Enter}_q(k)=1
} Enter q ( k ) = 1 當且僅當：
q k − 1 ≠ q q_{k-1}\neq q q k − 1 = q 且：
q k = q . q_k=q. q k = q . 因此：
E n t e r q \mathsf{Enter}_q Enter q 表示：
Q ∖ { q } → q . \boxed{
Q\setminus\{q\}
\rightarrow
q.
} Q ∖ { q } → q . 13. R e v e r s e \mathsf{Reverse} Reverse
若：
q ≠ r , q\neq r, q = r , 定義：
R e v e r s e q → r ( k ) = 1 \boxed{
\mathsf{Reverse}_{q\to r}(k)=1
} Reverse q → r ( k ) = 1 當且僅當：
q k − 1 = q , q k = r . q_{k-1}=q,
\qquad
q_k=r. q k − 1 = q , q k = r . 例如：
R e v e r s e Y → N . \mathsf{Reverse}_{\mathbf Y\to\mathbf N}. Reverse Y → N . 這就是最小的：
Is-Then-Not \boxed{
\text{Is-Then-Not}
} Is-Then-Not transition event。
反向：
R e v e r s e N → Y \mathsf{Reverse}_{\mathbf N\to\mathbf Y} Reverse N → Y 就是：
Not-Then-Is . \boxed{
\text{Not-Then-Is}.
} Not-Then-Is . 14. R e t u r n E v e n t \mathsf{ReturnEvent} ReturnEvent
一個普通：
E n t e r q \mathsf{Enter}_q Enter q 不一定是「返回」。
因為可能是第一次進入 (q)。
所以定義：
R e t u r n E v e n t q ( k ) = 1 \boxed{
\mathsf{ReturnEvent}_q(k)=1
} ReturnEvent q ( k ) = 1 當且僅當：
E n t e r q ( k ) = 1 \mathsf{Enter}_q(k)=1 Enter q ( k ) = 1 且存在：
i < k − 1 i<k-1 i < k − 1 使：
q i = q . q_i=q. q i = q . 亦即：
現在進入 (q)，而且這不是第一次曾經處於 (q)。
15. A g a i n \mathsf{Again} Again
現在定義：
A g a i n q ( H k ) = 1 \boxed{
\mathsf{Again}_q(H_k)=1
} Again q ( H k ) = 1 當且僅當：
q k = q q_k=q q k = q 且存在：
i < j < k i<j<k i < j < k 使：
q i = q , q_i=q, q i = q , q j ≠ q . q_j\neq q. q j = q . 因為當前：
q k = q , q_k=q, q k = q , 所以存在：
q → ⋯ → ¬ q → ⋯ → q . q
\rightarrow
\cdots
\rightarrow
\neg q
\rightarrow
\cdots
\rightarrow
q. q → ⋯ → ¬ q → ⋯ → q . 這就是嚴格的：
return-type Again . \boxed{
\text{return-type Again}.
} return-type Again . 16. Return Event 與 Again State 不同
如果：
R e t u r n E v e n t q ( k ) = 1 , \mathsf{ReturnEvent}_q(k)=1, ReturnEvent q ( k ) = 1 , 則在 (k)：
A g a i n q ( H k ) = 1. \mathsf{Again}_q(H_k)=1. Again q ( H k ) = 1. 但是反向不成立。
例如：
H = ( q , r , q , q , q ) . H
=
(q,r,q,q,q). H = ( q , r , q , q , q ) . 在第一次重新進入 (q) 的位置：
k = 2 k=2 k = 2 有 Return Event。
但在：
k = 3 , 4 k=3,4 k = 3 , 4 雖然沒有新的 Return Event，
仍有：
A g a i n q = 1. \mathsf{Again}_q=1. Again q = 1. 因此：
Return Event ≠ Again State . \boxed{
\text{Return Event}
\neq
\text{Again State}.
} Return Event = Again State . 17. 「又」會持續嗎？
依本文的嚴格歷史定義：
只要返回歷史仍被保留，而且當前仍為 (q)，
則：
A g a i n q = 1. \mathsf{Again}_q=1. Again q = 1. 所以：
[
(q,r,q,q,q)
]
最後三個位置都可以滿足 Again。
這不是說自然語言每一句都會持續說「又」。
而是說 DTIL 內部的 history flag：
r e t u r n e d _ t o _ q = t r u e \boxed{
returned\_to\_q=true
} r e t u r n e d _ t o _ q = t r u e 在再次離開以前可以保持。
18. 「又」與「仍」可以同時成立
乍看：
Again \text{Again} Again 和：
Still \text{Still} Still 似乎矛盾。
其實取決於 reference anchor。
考慮：
H = ( q , r , q , q , q ) . H=(q,r,q,q,q). H = ( q , r , q , q , q ) . 在：
k = 4 k=4 k = 4 有：
A g a i n q = 1. \mathsf{Again}_q=1. Again q = 1. 如果 Still 的 anchor 設在返回時刻：
a = 2 , a=2, a = 2 , 則：
S t i l l q ( H ; 2 ) = 1. \mathsf{Still}_q(H;2)=1. Still q ( H ; 2 ) = 1. 所以：
A g a i n q ∧ S t i l l q ( ⋅ ; a ) \boxed{
\mathsf{Again}_q
\land
\mathsf{Still}_q(\cdot;a)
} Again q ∧ Still q ( ⋅ ; a ) 可以同時成立。
其意思是：
它曾離開、後來返回，而且自返回以後仍一直保持。
19. 但全歷史 Still 與 Again 不相容
若採：
S t i l l q 0 , \mathsf{Still}_q^0, Still q 0 , 則：
S t i l l q 0 ( H ) = 1 \mathsf{Still}_q^0(H)=1 Still q 0 ( H ) = 1 要求整段歷史從未離開 (q)。
而：
A g a i n q ( H ) = 1 \mathsf{Again}_q(H)=1 Again q ( H ) = 1 要求至少曾經離開 (q)。
所以：
S t i l l q 0 ⇒ ¬ A g a i n q . \boxed{
\mathsf{Still}_q^0
\Rightarrow
\neg\mathsf{Again}_q.
} Still q 0 ⇒ ¬ Again q . 20. A g a i n \mathsf{Again} Again O n c e \mathsf{Once} Once
由定義直接有：
A g a i n q ( H ) ⇒ O n c e q ( H ) . \boxed{
\mathsf{Again}_q(H)
\Rightarrow
\mathsf{Once}_q(H).
} Again q ( H ) ⇒ Once q ( H ) . 因為返回要求過去已經存在 (q)。
也有：
A g a i n q ( H ) ⇒ Now ( H ) = q . \boxed{
\mathsf{Again}_q(H)
\Rightarrow
\operatorname{Now}(H)=q.
} Again q ( H ) ⇒ Now ( H ) = q . 但：
O n c e q ∧ N o w q \mathsf{Once}_q
\land
Now_q Once q ∧ N o w q 仍然不一定推出 Again。
21. Once + Now 為什麼還不夠？
例如：
H = ( q , q , q ) . H=(q,q,q). H = ( q , q , q ) . 有：
O n c e q = 1 , \mathsf{Once}_q=1, Once q = 1 , 也有：
N o w q = 1. Now_q=1. N o w q = 1. 但從未離開 (q)。
所以：
A g a i n q = 0. \mathsf{Again}_q=0. Again q = 0. 因此：
A g a i n q = N o w q + P r i o r ( q ) + D e p a r t u r e ( q ) . \boxed{
\mathsf{Again}_q
=
Now_q
+
Prior(q)
+
Departure(q).
} Again q = N o w q + P r i or ( q ) + D e p a r t u r e ( q ) . 更精確地說：
A g a i n q = N o w q ∧ ∃ prior q ∧ ∃ intervening non- q . \boxed{
\mathsf{Again}_q
=
Now_q
\land
\exists\text{ prior }q
\land
\exists\text{ intervening non-}q.
} Again q = N o w q ∧ ∃ prior q ∧ ∃ intervening non- q . 22. 用 Past Operators 表示 Again
若使用一個 strict-past existential operator：
P ϕ \mathbf P\phi P ϕ 表示：
嚴格過去某時 ϕ \phi ϕ
則嚴格返回型 Again 可表示成類似：
q ∧ P ( ¬ q ∧ P q ) . \boxed{
q
\land
\mathbf P
(
\neg q
\land
\mathbf P q
).
} q ∧ P ( ¬ q ∧ P q ) . 因此：
Again as a pure temporal path pattern \boxed{
\text{Again as a pure temporal path pattern}
} Again as a pure temporal path pattern 可以由既有 past-time temporal machinery 表達。
本文不把這一點宣稱為全新的 temporal connective。
23. 本文為何仍保留獨立 Again Operator？
因為 DTIL 不只需要知道：
q → ¬ q → q . q\rightarrow\neg q\rightarrow q. q → ¬ q → q . 還需要查詢：
返回的是哪一層身份？
判定域是否相同？
semantic referent 是否相同？
為什麼離開？
為什麼返回？
返回次數？
中途經過哪些 Q4 states？
所以：
A g a i n \mathsf{Again} Again 在 runtime 中可以是一個：
compiled history predicate . \boxed{
\text{compiled history predicate}.
} compiled history predicate . 它的底層可由 temporal logic 或 finite-state monitor 實作。
24. C o m p l e t e d \mathsf{Completed} Completed
自然語言的「已／已經」具有豐富體貌功能。
本文不把中文「已」簡化成單一真值 operator。
只定義一個較窄的工程算子：
C o m p l e t e d e ( H k ) = 1 \boxed{
\mathsf{Completed}_e(H_k)=1
} Completed e ( H k ) = 1 表示：
指定 event / transition (e) 已在參考歷史中完成。
若 (e) 是：
E n t e r q , \mathsf{Enter}_q, Enter q , 則可以定義：
C o m p l e t e d E n t e r q ( H k ) . \mathsf{CompletedEnter}_q(H_k). CompletedEnter q ( H k ) . 25. 「已是 q」的技術讀法
一個工作版本：
A l r e a d y q ( H k ; a ) = N o w q ( H k ) ∧ ∃ j ∈ [ a , k ] : E n t e r q ( j ) . \boxed{
\mathsf{Already}_q(H_k;a)
=
Now_q(H_k)
\land
\exists j\in[a,k]:
\mathsf{Enter}_q(j).
} Already q ( H k ; a ) = N o w q ( H k ) ∧ ∃ j ∈ [ a , k ] : Enter q ( j ) . 其意思是：
在參考區間開始後，進入 (q) 的 transition 已經發生，而且現在仍處於 (q)。
這不是中文「已是」全部語義。
它只是一個：
completed-transition reading . \boxed{
\text{completed-transition reading}.
} completed-transition reading . 26. Already 與 Again 的差異
A l r e a d y q \mathsf{Already}_q Already q 只要求：
某次進入 (q) 已發生。
它可能是第一次進入。
而：
A g a i n q \mathsf{Again}_q Again q 要求：
以前曾為 (q)，離開，再返回。
例如：
H = ( r , q ) . H=(r,q). H = ( r , q ) . 可以有：
A l r e a d y q = 1 , \mathsf{Already}_q=1, Already q = 1 , 但：
A g a i n q = 0. \mathsf{Again}_q=0. Again q = 0. 所以：
Already ≠ Again . \boxed{
\text{Already}
\neq
\text{Again}.
} Already = Again . 27. 最小歷史算子表
第一版可整理為：
O H = { N o w , O n c e , E v e r , S t i l l , L e a v e , E n t e r , R e v e r s e , R e t u r n E v e n t , A g a i n , C o m p l e t e d } . \boxed{
\mathcal O_H
=
\{
Now,
Once,
Ever,
Still,
Leave,
Enter,
Reverse,
ReturnEvent,
Again,
Completed
\}.
} O H = { N o w , O n ce , E v er , S t i l l , L e a v e , E n t er , R e v er se , R e t u r n E v e n t , A g ain , C o m pl e t e d } . 這些 operator 不全是同一 type。
可以分成：
State Predicates
[
Now,
Once,
Ever,
Still,
Again.
]
Edge / Event Predicates
[
Leave,
Enter,
Reverse,
ReturnEvent.
]
Completion Predicates
[
Completed.
]
28. Type Discipline 很重要
若不分 operator type，
很快會出現沒有意義的組合，例如：
A g a i n ( A g a i n ( q ) ) . \mathsf{Again}(\mathsf{Again}(q)). Again ( Again ( q )) . 本文暫時讓：
A g a i n q \mathsf{Again}_q Again q 只接受：
q ∈ Q q\in Q q ∈ Q 或指定 classification predicate，
而不是任意高階 temporal formula。
未來若擴張成完整 temporal logic，再另行定義 typing rule。
29. 路徑的 Stutter
考慮：
H 1 = ( q , r , q ) , H_1=(q,r,q), H 1 = ( q , r , q ) , H 2 = ( q , q , r , r , r , q , q ) . H_2=(q,q,r,r,r,q,q). H 2 = ( q , q , r , r , r , q , q ) . 若忽略持續時間，
它們有相同 state-change skeleton：
q → r → q . q\rightarrow r\rightarrow q. q → r → q . 所以定義 stutter reduction：
red ( H ) \boxed{
\operatorname{red}(H)
} red ( H ) 刪除相鄰連續重複狀態。
因此：
red ( H 1 ) = red ( H 2 ) = ( q , r , q ) . \operatorname{red}(H_1)
=
\operatorname{red}(H_2)
=
(q,r,q). red ( H 1 ) = red ( H 2 ) = ( q , r , q ) . 30. Stutter Reduction 保存什麼？
它保存：
狀態變化順序；
departure；
return；
reversal pattern。
但丟失：
每個狀態持續多久；
exact timestamps；
dwell time。
因此：
event pattern ≠ temporal duration . \boxed{
\text{event pattern}
\neq
\text{temporal duration}.
} event pattern = temporal duration . DTIL runtime 可以同時保存：
[
H
]
與：
red ( H ) . \operatorname{red}(H). red ( H ) . 31. Again 對 Stutter 不敏感
在上述例子中：
A g a i n q ( H 1 ) = A g a i n q ( H 2 ) = 1. \mathsf{Again}_q(H_1)
=
\mathsf{Again}_q(H_2)
=
1. Again q ( H 1 ) = Again q ( H 2 ) = 1. 所以基本 Again 只依賴：
red ( H ) . \operatorname{red}(H). red ( H ) . 但：
S t i l l q ( H ; a ) \mathsf{Still}_q(H;a) Still q ( H ; a ) 若加入 metric / duration 條件，就可能對 dwell time 敏感。
因此未來可分：
qualitative path operators \boxed{
\text{qualitative path operators}
} qualitative path operators 與：
metric path operators . \boxed{
\text{metric path operators}.
} metric path operators . 32. 返回次數
定義：
R q ( H ) = # { k : R e t u r n E v e n t q ( k ) = 1 } . \boxed{
R_q(H)
=
\#\{
k:
\mathsf{ReturnEvent}_q(k)=1
\}.
} R q ( H ) = # { k : ReturnEvent q ( k ) = 1 } . 例如：
H = ( q , r , q , s , q ) H=(q,r,q,s,q) H = ( q , r , q , s , q ) 有：
R q ( H ) = 2. R_q(H)=2. R q ( H ) = 2. 因此：
A g a i n q \mathsf{Again}_q Again q 只回答：
是否至少返回過一次？
而：
R q R_q R q 回答：
返回過幾次？
33. R e c u r \mathsf{Recur} Recur
定義：
R e c u r q ( n ) ( H ) = 1 \boxed{
\mathsf{Recur}_q^{(n)}(H)=1
} Recur q ( n ) ( H ) = 1 當且僅當：
R q ( H ) ≥ n . R_q(H)\ge n. R q ( H ) ≥ n . 因此：
A g a i n q \mathsf{Again}_q Again q 可以視為：
R e c u r q ( 1 ) \mathsf{Recur}_q^{(1)} Recur q ( 1 ) 加上當前仍為 (q) 的條件。
34. 返回不一定是立即反轉
例如：
q → r → s → u → q . q
\rightarrow
r
\rightarrow
s
\rightarrow
u
\rightarrow
q. q → r → s → u → q . 這仍是：
A g a i n q . \mathsf{Again}_q. Again q . 所以 Again 不要求：
q → r → q q\rightarrow r\rightarrow q q → r → q 只有兩跳。
它要求的是：
q → ( Q ∖ { q } ) ∗ → q . \boxed{
q
\rightarrow
(Q\setminus\{q\})^\ast
\rightarrow
q.
} q → ( Q ∖ { q } ) ∗ → q . 35. 四態下的返回路徑
例如：
Y → B → N → U → Y . \mathbf Y
\rightarrow
\mathbf B
\rightarrow
\mathbf N
\rightarrow
\mathbf U
\rightarrow
\mathbf Y. Y → B → N → U → Y . 這仍是：
A g a i n Y = 1. \mathsf{Again}_{\mathbf Y}=1. Again Y = 1. 但它比：
Y → N → Y \mathbf Y
\rightarrow
\mathbf N
\rightarrow
\mathbf Y Y → N → Y 具有更豐富 transition history。
所以：
Again \boxed{
\text{Again}
} Again 不是完整歷史。
它只是一個 history query。
36. 同一 Again 可以有不同原因路徑
Series II / Paper I 已定義 transition labels：
Λ = { E , W , J , Ψ , M } . \Lambda
=
\{
E,W,J,\Psi,M
\}. Λ = { E , W , J , Ψ , M } . 因此：
Y → E N → E Y \mathbf Y
\xrightarrow{E}
\mathbf N
\xrightarrow{E}
\mathbf Y Y E N E Y 與：
Y → J N → J Y \mathbf Y
\xrightarrow{J}
\mathbf N
\xrightarrow{J}
\mathbf Y Y J N J Y 都滿足：
A g a i n Y . \mathsf{Again}_{\mathbf Y}. Again Y . 但 causal histories 不同。
因此：
same return pattern ≠ same causal history . \boxed{
\text{same return pattern}
\neq
\text{same causal history}.
} same return pattern = same causal history . 37. 返回的四個強度
現在加入非常重要的區分。
假設：
Σ ^ t = ( Ψ t , J t , E t , W t , q t , H t ) . \widehat\Sigma_t
=
(
\Psi_t,
\mathcal J_t,
E_t,
W_t,
q_t,
H_t
). Σ t = ( Ψ t , J t , E t , W t , q t , H t ) . 對兩個時刻：
i < k i<k i < k 且：
q i = q k , q_i=q_k, q i = q k , 我們可以問「究竟返回了多少層？」
38. Level 0：Q4 State Return
定義：
R Q ( i , k ) \boxed{
R_Q(i,k)
} R Q ( i , k ) 若：
q i = q k q_i=q_k q i = q k 且中間曾離開該 q。
這是最弱的「又」。
只表示：
local-state label returned . \boxed{
\text{local-state label returned}.
} local-state label returned . 39. Level 1：Judgment-Domain Return
定義：
R J ( i , k ) \boxed{
R_J(i,k)
} R J ( i , k ) 要求：
R Q ( i , k ) R_Q(i,k) R Q ( i , k ) 且：
J i ≡ J k . \mathcal J_i
\equiv
\mathcal J_k. J i ≡ J k . 這表示：
不只 Q4 state 回來了，使用的判定域也相同或被視為等價。
40. Level 2：Semantic-Identity Return
定義：
R Ψ ( i , k ) \boxed{
R_\Psi(i,k)
} R Ψ ( i , k ) 要求：
R J ( i , k ) R_J(i,k) R J ( i , k ) 且：
Ψ i ≡ s e m Ψ k . \Psi_i
\equiv_{\mathrm{sem}}
\Psi_k. Ψ i ≡ sem Ψ k . 這表示：
返回後判定的仍然被視為同一語義對象。
41. Level 3：Full-State Return
定義：
R Σ ( i , k ) \boxed{
R_\Sigma(i,k)
} R Σ ( i , k ) 要求在所選等價準則下：
Σ ^ i ≡ Σ ^ k . \widehat\Sigma_i
\equiv
\widehat\Sigma_k. Σ i ≡ Σ k . 這可能要求：
semantic identity；
judgment domain；
evidence state；
world state；
Q4 state；
都相容。
但即使：
R Σ ( i , k ) = 1 , R_\Sigma(i,k)=1, R Σ ( i , k ) = 1 , 仍然：
H i ≠ H k . H_i\neq H_k. H i = H k . 因為歷史長度已經不同。
因此最完整地說：
state return ≠ history reset . \boxed{
\text{state return}
\neq
\text{history reset}.
} state return = history reset . 42. 「見山又是山」最可能是哪一層 Return？
若只知道：
C 0 ( x ) = X , C_0(x)=X, C 0 ( x ) = X , C 1 ( x ) ≠ X , C_1(x)\neq X, C 1 ( x ) = X , C 2 ( x ) = X , C_2(x)=X, C 2 ( x ) = X , 我們最多能確認：
R Q R_Q R Q 或 classification return。
不能自動推出：
R J , R Ψ , R Σ . R_J,
\quad
R_\Psi,
\quad
R_\Sigma. R J , R Ψ , R Σ . 所以：
“又是同一分類” ⇏ “全部資訊都回到原點” . \boxed{
\text{“又是同一分類”}
\not\Rightarrow
\text{“全部資訊都回到原點”}.
} “ 又是同一分類 ” ⇒ “ 全部資訊都回到原點 ” . 這正是該類語句最容易被過度解釋的地方。
43. Domain-Shifted Again
可能：
q i = q k = q , q_i=q_k=q, q i = q k = q , 但：
J i ≠ J k . \mathcal J_i\neq\mathcal J_k. J i = J k . 這時：
R Q = 1 , R_Q=1, R Q = 1 , 但：
R J = 0. R_J=0. R J = 0. 可記：
A g a i n q Δ J . \boxed{
\mathsf{Again}^{\Delta J}_q.
} Again q Δ J . 意思是：
同一 Q4 / classification label 返回了，但現在是在另一個判定域下成立。
44. Semantic-Shifted Again
還可能：
q i = q k = q , q_i=q_k=q, q i = q k = q , J i = J k , \mathcal J_i=\mathcal J_k, J i = J k , 但：
Ψ i ≠ Ψ k . \Psi_i\neq\Psi_k. Ψ i = Ψ k . 這時：
R Q = 1 , R_Q=1, R Q = 1 , 甚至表面：
R J = 1 , R_J=1, R J = 1 , 但：
R Ψ = 0. R_\Psi=0. R Ψ = 0. 這是一種：
pseudo-return . \boxed{
\text{pseudo-return}.
} pseudo-return . 表面看起來「又是」，實際上被判定的對象已經偷偷換了。
45. Again 與 Semantic Identity Guard
Bridge Paper 的 Semantic Identity Guard 在這裡有新用途。
當：
A g a i n q = 1 \mathsf{Again}_q=1 Again q = 1 時，
系統進一步問：
same_judgment_domain?
same_referent?
same_signified?
same_object?
same_world_state?
因此：
Again Detection \boxed{
\text{Again Detection}
} Again Detection 與：
Return Identity Audit \boxed{
\text{Return Identity Audit}
} Return Identity Audit 必須分開。
46. 最小 Path Algebra
現在可以定義一組 elementary operators：
A H = { S t a y , L e a v e , E n t e r , R e v e r s e , R e t u r n } . \boxed{
\mathcal A_H
=
\{
\mathsf{Stay},
\mathsf{Leave},
\mathsf{Enter},
\mathsf{Reverse},
\mathsf{Return}
\}.
} A H = { Stay , Leave , Enter , Reverse , Return } . 路徑由這些 edge event 串接：
p = e 1 e 2 ⋯ e n . p
=
e_1e_2\cdots e_n. p = e 1 e 2 ⋯ e n . 若終點／起點相容，可以做 concatenation：
p 1 ∘ p 2 . \boxed{
p_1\circ p_2.
} p 1 ∘ p 2 . 47. 路徑串接的結合律
在合法端點匹配下：
( p 1 ∘ p 2 ) ∘ p 3 = p 1 ∘ ( p 2 ∘ p 3 ) . \boxed{
(p_1\circ p_2)\circ p_3
=
p_1\circ(p_2\circ p_3).
} ( p 1 ∘ p 2 ) ∘ p 3 = p 1 ∘ ( p 2 ∘ p 3 ) . 空路徑：
ϵ q \epsilon_q ϵ q 充當：
[
q
]
上的 identity path。
因此最小 transition structure 可以被理解成：
a typed path composition system . \boxed{
\text{a typed path composition system}.
} a typed path composition system . 本文暫不把它過度提升為某個完整代數結構的唯一標準。
48. Loop
如果：
p : q ⇝ q p:q\rightsquigarrow q p : q ⇝ q 且：
p ≠ ϵ q , p\neq\epsilon_q, p = ϵ q , 則稱：
L o o p q ( p ) . \boxed{
\mathsf{Loop}_q(p).
} Loop q ( p ) . 如果 loop 中至少存在一個非 q state：
∃ r ≠ q \exists r\neq q ∃ r = q 被經過，
則它構成一種 strict return loop。
因此：
A g a i n q \mathsf{Again}_q Again q 本質上是在問：
當前歷史是否包含一個以 (q) 為起終點、且中途離開 (q) 的 loop prefix？
49. History Signature
為了不每次重讀完整歷史，
可以維持：
M t ( q ) = ( s e e n q , l e f t q , r e t u r n c o u n t q , l a s t e n t e r q , l a s t l e a v e q ) . \boxed{
M_t(q)
=
(
seen_q,
left_q,
return_count_q,
last_enter_q,
last_leave_q
).
} M t ( q ) = ( see n q , l e f t q , r e t u r n c o u n t q , l a s t e n t e r q , l a s t l e a v e q ) . 對每個：
q ∈ Q . q\in Q. q ∈ Q . 這是最小 path memory 的一種實作。
50. Q4 只需要很小的 Memory
因為：
∣ Q ∣ = 4 , |Q|=4, ∣ Q ∣ = 4 , 所以可維持：
[
4
]
組歷史摘要。
例如：
Y:
seen = true
left = true
return_count = 2
N:
seen = true
left = true
return_count = 1
B:
seen = true
left = true
return_count = 0
U:
seen = false
不需要重新掃描完整 trace 就能回答大量 basic path queries。
51. Past-Sensitive State Augmentation
這與近年的 perfect-recall temporal model checking 有一個非常直接的類比：
若 past formulas 的結果無法由當前 system state 單獨決定，
就需要把額外歷史 automaton state 加入 monitor state。2026 年的 epistemic metric temporal logic with past 工作正明確採取這種處理。(arxiv.org )
DTIL 的：
M t M_t M t 就是同樣的工程精神：
augment current state with sufficient history memory . \boxed{
\text{augment current state with sufficient history memory}.
} augment current state with sufficient history memory . 52. History-Operator Equivalence
給定一組 history operators：
O . \mathcal O. O . 定義：
H ∼ O H ′ \boxed{
H\sim_{\mathcal O}H'
} H ∼ O H ′ 當且僅當：
∀ O ∈ O : O ( H ) = O ( H ′ ) . \forall O\in\mathcal O:
O(H)=O(H'). ∀ O ∈ O : O ( H ) = O ( H ′ ) . 這表示：
對目前關心的歷史問題而言，兩條 histories 無法被區分。
這可以用來做 history compression。
53. 不同 Operator Set 會產生不同商空間
如果：
O 1 = { N o w } , \mathcal O_1
=
\{
Now
\}, O 1 = { N o w } , 很多 history 會被合併。
若：
O 2 = { N o w , O n c e , A g a i n , R e t u r n C o u n t } , \mathcal O_2
=
\{
Now,
Once,
Again,
ReturnCount
\}, O 2 = { N o w , O n ce , A g ain , R e t u r n C o u n t } , 等價類就更細。
因此：
history identity is query-dependent . \boxed{
\text{history identity is query-dependent}.
} history identity is query-dependent . 這和 Series II / Paper I 的「同一需要指定判定層級」完全一致。
54. 「記住多少」不是越多越好
完整保存：
H t H_t H t 資訊最豐富，
但成本可能持續增加。
過度壓縮成：
q t q_t q t 成本最低，
但丟失 Again、Once、cause history。
所以需要：
minimal sufficient historical state . \boxed{
\text{minimal sufficient historical state}.
} minimal sufficient historical state . 問題變成：
對未來要支援的 operator set O \mathcal O O
這是一個可以直接工程化的新問題。
55. MIF 的接口
Q4 給：
q t . q_t. q t . 本文給：
O ( H t ) . O(H_t). O ( H t ) . MIF 則可以處理更長的：
H = q 0 q 1 q 2 ⋯ . H
=
q_0q_1q_2\cdots. H = q 0 q 1 q 2 ⋯ . 因此：
DTIL operators \boxed{
\text{DTIL operators}
} DTIL operators 可以被理解為：
對 MIF 歷史序列的有限 query language。
下一階段可以研究：
infinite recurrence；
eventual stabilization；
periodicity；
unbounded reversal；
LOOP；
asymptotic state patterns。
56. 從「又」到 LOOP
如果：
R q ( H ) R_q(H) R q ( H ) 隨時間不斷增加，
則：
[
q
]
不是只「又」一次。
而是持續 recurrence：
q → ¬ q → q → ¬ q → q → ⋯ q
\rightarrow
\neg q
\rightarrow
q
\rightarrow
\neg q
\rightarrow
q
\rightarrow\cdots q → ¬ q → q → ¬ q → q → ⋯ 這將導向：
historical LOOP . \boxed{
\text{historical LOOP}.
} historical LOOP . 因此 Again 是 LOOP 的最小有限前驅之一。
57. 「是又不是／不是又是」的下一層
Paper I 將：
Y → N \mathbf Y\rightarrow\mathbf N Y → N 與：
N → Y \mathbf N\rightarrow\mathbf Y N → Y 視為 directional reversal。
本文再指出：
若：
Y → N → Y , \mathbf Y\rightarrow\mathbf N\rightarrow\mathbf Y, Y → N → Y , 則可以同時看到：
第一個 transition：Is-Then-Not；
第二個 transition：Not-Then-Is；
整條 path：Again-Y。
因此：
Again = composition of departure and return history . \boxed{
\text{Again}
=
\text{composition of departure and return history}.
} Again = composition of departure and return history . 58. 一個最小 Transition Grammar
可以定義：
STATE ::= Y | N | B | U
EDGE ::=
STAY(STATE)
| LEAVE(STATE)
| ENTER(STATE)
| REVERSE(STATE, STATE)
PATH ::= EDGE
| PATH ; EDGE
歷史 predicates：
ONCE(q)
STILL(q, anchor)
AGAIN(q)
RETURN_COUNT(q)
COMPLETED(event)
這已經足以做第一版 parser / runtime。
59. Runtime Schema 擴充
在 Series II / Paper I 的：
HistorySummary
中新增：
seen_states
last_enter
last_leave
return_count
stutter_reduced_path
last_return_cause
return_identity_level
對每次 Return：
ReturnRecord:
target_state
previous_occurrence
departure_point
return_point
cause_path
judgment_domain_relation
semantic_identity_relation
60. Unit Test 1：第一次進入不是 Again
歷史：
H = ( N , Y ) . H=(\mathbf N,\mathbf Y). H = ( N , Y ) . 要求：
N o w Y = 1 , Now_{\mathbf Y}=1, N o w Y = 1 , E v e r Y = 1 , Ever_{\mathbf Y}=1, E v e r Y = 1 , 但：
O n c e Y = 0 , Once_{\mathbf Y}=0, O n c e Y = 0 , A g a i n Y = 0. Again_{\mathbf Y}=0. A g ai n Y = 0. 61. Unit Test 2：一直是 Y 不是 Again
H = ( Y , Y , Y ) . H=(\mathbf Y,\mathbf Y,\mathbf Y). H = ( Y , Y , Y ) . 要求：
S t i l l Y 0 = 1 , Still_{\mathbf Y}^0=1, S t i l l Y 0 = 1 , O n c e Y = 1 , Once_{\mathbf Y}=1, O n c e Y = 1 , 但：
A g a i n Y = 0. Again_{\mathbf Y}=0. A g ai n Y = 0. 這是非常重要的測試：
prior occurrence alone does not imply return . \boxed{
\text{prior occurrence alone does not imply return}.
} prior occurrence alone does not imply return . 62. Unit Test 3：離開後返回
H = ( Y , N , Y ) . H=(\mathbf Y,\mathbf N,\mathbf Y). H = ( Y , N , Y ) . 要求：
A g a i n Y = 1 , Again_{\mathbf Y}=1, A g ai n Y = 1 , R e t u r n C o u n t Y = 1. ReturnCount_{\mathbf Y}=1. R e t u r n C o u n t Y = 1. 並在最後 transition：
R e t u r n E v e n t Y = 1. ReturnEvent_{\mathbf Y}=1. R e t u r n E v e n t Y = 1. 63. Unit Test 4：返回後持續
H = ( Y , N , Y , Y ) . H=(\mathbf Y,\mathbf N,\mathbf Y,\mathbf Y). H = ( Y , N , Y , Y ) . 最後位置要求：
A g a i n Y = 1 , Again_{\mathbf Y}=1, A g ai n Y = 1 , 但：
R e t u r n E v e n t Y = 0. ReturnEvent_{\mathbf Y}=0. R e t u r n E v e n t Y = 0. 同時若 anchor 為：
a = 2 , a=2, a = 2 , 則：
S t i l l Y ( H ; 2 ) = 1. Still_{\mathbf Y}(H;2)=1. S t i l l Y ( H ; 2 ) = 1. 這直接證明：
A g a i n ∧ S t i l l \boxed{
Again
\land
Still
} A g ain ∧ S t i l l 可以相容。
64. Unit Test 5：同 Q4 返回，不同 Judgment Domain
歷史：
Y @ J 0 → N @ J 1 → Y @ J 2 . \mathbf Y@\mathcal J_0
\rightarrow
\mathbf N@\mathcal J_1
\rightarrow
\mathbf Y@\mathcal J_2. Y @ J 0 → N @ J 1 → Y @ J 2 . 若：
J 0 ≠ J 2 , \mathcal J_0\neq\mathcal J_2, J 0 = J 2 , 要求：
R Q = 1 , R_Q=1, R Q = 1 , 但：
R J = 0. R_J=0. R J = 0. 65. Unit Test 6：假返回
若：
q 0 = q 2 = Y , q_0=q_2=\mathbf Y, q 0 = q 2 = Y , 但：
Ψ 0 ≠ Ψ 2 , \Psi_0\neq\Psi_2, Ψ 0 = Ψ 2 , 要求：
Again_Q4 = true
SemanticReturn = false
PseudoReturn = true
這是 Bridge Paper Semantic Identity Guard 與 DTIL 的第一個真正整合測試。
66. Unit Test 7：多次返回
H = ( Y , N , Y , U , Y ) . H
=
(
\mathbf Y,
\mathbf N,
\mathbf Y,
\mathbf U,
\mathbf Y
). H = ( Y , N , Y , U , Y ) . 要求：
R Y = 2. R_{\mathbf Y}=2. R Y = 2. 並：
R e c u r Y ( 2 ) = 1. \mathsf{Recur}_{\mathbf Y}^{(2)}=1. Recur Y ( 2 ) = 1. 67. Unit Test 8：B \mathbf B B
H = ( B ) . H=(\mathbf B). H = ( B ) . 即使：
B = ( 1 , 1 ) \mathbf B=(1,1) B = ( 1 , 1 ) 包含正負支持並存，
仍然：
A g a i n Y = 0 , Again_{\mathbf Y}=0, A g ai n Y = 0 , A g a i n N = 0. Again_{\mathbf N}=0. A g ai n N = 0. 除非歷史真的發生對應 return。
因此：
internal dual support ≠ historical recurrence . \boxed{
\text{internal dual support}
\neq
\text{historical recurrence}.
} internal dual support = historical recurrence . 68. 與既有 Past Temporal Logic 的關係
Past-time LTL、temporal justification logics with past、metric temporal logics with past 等都已提供成熟的歷史 modal machinery。(arxiv.org arxiv.org )
因此本文不宣稱：
首次提出 Once；
首次提出 past operator；
首次提出 Since；
首次表示「曾經」；
首次讓邏輯依賴歷史。
本文的主要工作是建立：
Q4-return operators + judgment-domain identity levels + semantic-return audit + transition-cause history . \boxed{
\text{Q4-return operators}
+
\text{judgment-domain identity levels}
+
\text{semantic-return audit}
+
\text{transition-cause history}.
} Q4-return operators + judgment-domain identity levels + semantic-return audit + transition-cause history . 69. 與四值 Dynamic Logic 的關係
Paraconsistent transition-system research 已經把 Belnap-Dunn 式四值語義與 transition models 結合。(arxiv.org )
因此：
four-valued state transition \boxed{
\text{four-valued state transition}
} four-valued state transition 也不是本文單獨的新穎性。
本文較具體的研究線是：
對四態歷史增加 path-return queries，並把「返回是否真的是同一個東西」拆成 Q4、Judgment Domain、Semantic Identity 與 Full Information 四層。
70. 本篇的核心新接口
可以濃縮成：
ReturnIdentity = ( R Q , R J , R Ψ , R Σ ) . \boxed{
\operatorname{ReturnIdentity}
=
(
R_Q,
R_J,
R_\Psi,
R_\Sigma
).
} ReturnIdentity = ( R Q , R J , R Ψ , R Σ ) . 它回答：
「又回來了」到底回來了哪一層？
這比單純：
q t = q t − k q_t=q_{t-k} q t = q t − k 更有資訊。
71. 研究邊界
本文不主張：
中文「又／仍／曾／已」只有本文定義的語義；
A g a i n \mathsf{Again} Again 所有 return 都要求完全相同的 Judgment Domain；
所有 history query 都需要保存完整 trace；
red ( H ) \operatorname{red}(H) red ( H ) Q4 return 等同 semantic return；
semantic return 可以完全自動判定；
Completed operator 足以描述一般自然語言體貌；
本文的 path algebra 已是完整公理化系統；
MIF 已經被完整歸約成有限歷史算子。
本文提供的是：
a minimal typed path-operator layer for DTIL . \boxed{
\text{a minimal typed path-operator layer for DTIL}.
} a minimal typed path-operator layer for DTIL . 72. Paper II 的核心結果
Result 1
O n c e ≠ S t i l l ≠ A g a i n . \boxed{
\mathsf{Once}
\neq
\mathsf{Still}
\neq
\mathsf{Again}.
} Once = Still = Again . Result 2
A g a i n q ⇒ N o w q ∧ O n c e q , \boxed{
\mathsf{Again}_q
\Rightarrow
Now_q
\land
Once_q,
} Again q ⇒ N o w q ∧ O n c e q , 但反向不成立。
Result 3
R e t u r n E v e n t q ≠ A g a i n q . \boxed{
\mathsf{ReturnEvent}_q
\neq
\mathsf{Again}_q.
} ReturnEvent q = Again q . 前者是邊界事件，後者是可持續的歷史狀態。
Result 4
R Q ⇏ R J ⇏ R Ψ ⇏ R Σ . \boxed{
R_Q
\not\Rightarrow
R_J
\not\Rightarrow
R_\Psi
\not\Rightarrow
R_\Sigma.
} R Q ⇒ R J ⇒ R Ψ ⇒ R Σ . 返回具有不同身份強度。
Result 5
history-sensitive queries can be implemented by augmented finite state . \boxed{
\text{history-sensitive queries can be implemented by augmented finite state}.
} history-sensitive queries can be implemented by augmented finite state . 不需要每次重讀完整 history。
73. 結論：「又」不是一個字，而是一條路徑條件
在 memoryless projection 中：
H 1 = ( Y ) H_1=(\mathbf Y) H 1 = ( Y ) 和：
H 2 = ( Y , N , Y ) H_2=(\mathbf Y,\mathbf N,\mathbf Y) H 2 = ( Y , N , Y ) 都只剩：
Y . \mathbf Y. Y . 但加入：
A g a i n Y \mathsf{Again}_{\mathbf Y} Again Y 後：
A g a i n Y ( H 1 ) = 0 , \mathsf{Again}_{\mathbf Y}(H_1)=0, Again Y ( H 1 ) = 0 , A g a i n Y ( H 2 ) = 1. \mathsf{Again}_{\mathbf Y}(H_2)=1. Again Y ( H 2 ) = 1. 因此：
Again makes histories distinguishable that current-state projection identifies . \boxed{
\text{Again makes histories distinguishable that current-state projection identifies}.
} Again makes histories distinguishable that current-state projection identifies . 更進一步，DTIL 不能只問：
有沒有返回？
還要問：
What returned? \boxed{
\text{What returned?}
} What returned? 是：
同一 Q4 state？
同一 Judgment Domain？
同一 Semantic Referent？
同一完整信息狀態？
所以「又是」真正展開後，不是：
X = X . X=X. X = X . 而可能是：
X ( 0 ) → ¬ X → X ( 2 ) , \boxed{
X^{(0)}
\rightarrow
\neg X
\rightarrow
X^{(2)},
} X ( 0 ) → ¬ X → X ( 2 ) , 並同時滿足：
X ( 0 ) = c l a s s i f i c a t i o n X ( 2 ) , X^{(0)}
=
_{\mathrm{classification}}
X^{(2)}, X ( 0 ) = classification X ( 2 ) , 但：
X ( 0 ) ≠ h i s t o r y X ( 2 ) . X^{(0)}
\neq_{\mathrm{history}}
X^{(2)}. X ( 0 ) = history X ( 2 ) . 如果語義身份也改變，甚至：
X ( 0 ) ≠ s e m a n t i c X ( 2 ) . X^{(0)}
\neq_{\mathrm{semantic}}
X^{(2)}. X ( 0 ) = semantic X ( 2 ) . 因此本文最終提出：
“Again” is not identity; it is a return relation over history. \boxed{
\text{“Again” is not identity; it is a return relation over history.}
} “Again” is not identity; it is a return relation over history. 這是 Series II 從局部四態進入真正 path semantics 的第二步。
下一篇將進入 Series II / Paper 03：Reclassification and Domain-Shifted Identity ，正式處理：
X 是 X → X 其實是 Y → Y 其實又是 X \boxed{
X\text{ 是 }X
\rightarrow
X\text{ 其實是 }Y
\rightarrow
Y\text{ 其實又是 }X
} X 是 X → X 其實是 Y → Y 其實又是 X 中最困難的部分：真值／資訊狀態改變與「對象被重新分類」並不是同一種 transition。
參考文獻
Kuhtz, L., & Finkbeiner, B. (2012). Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds . arXiv:1210.0574.
Ghari, M. (2018). Linear Temporal Justification Logics with Past Operators . arXiv:1809.00167.
Bollig, B., Függer, M., Nowak, T., & Zeinaty, P. (2026). Agent-Alternation-Free Epistemic Metric Temporal Logic with Past: Model Checking and Complexity . arXiv:2607.13981.
Cruz, A., Madeira, A., & Barbosa, L. S. (2022). A Logic for Paraconsistent Transition Systems . arXiv:2204.06737.
Costa, D. (2023). 4DL: A Four-Valued Dynamic Logic and Its Proof Theory . Journal of Logic and Computation, 33(6), 1326–1349.
Prior, A. N. (1957). Time and Modality . Oxford University Press.