# 外部定位參考資料

檢索日期：2026-08-12。

1. Andrzej Wiśniewski, *The Posing of Questions: Logical Foundations of Erotetic Inferences*, Synthese Library 252, Springer.
   - 核心外部接口：erotetic inferences、question generation、question as premise/conclusion。

2. Andrzej Wiśniewski, “Deduction and Reduction Theorems for Inferential Erotetic Logic,” *Studia Logica* 106 (2018), 295–309.
   - 核心外部接口：question evocation、erotetic implication、reduction theorems。

3. Alexandru Baltag, Lawrence S. Moss, Sławomir Solecki, “The Logic of Public Announcements, Common Knowledge and Private Suspicions,” Indiana University Technical Report TR534 / TARK lineage.
   - 核心外部接口：將 epistemic actions 作為 object-language modalities/operators，研究動態知識更新。

4. Alexandru Baltag, Lawrence S. Moss, Sławomir Solecki, “Logics for Epistemic Actions: Completeness, Decidability, Expressivity,” arXiv:2203.06744.
   - 核心外部接口：action signatures、dynamic epistemic operators、expressive power。

## 邊界

上述文獻證明「問題可以被形式研究」「問題之間存在推理／生成關係」「動態 epistemic actions 可以算子化」都有成熟先例。

但本文的六生成元、\(X_{\mathcal S}\)、\(X^nT\)、T-MCQB 猜想與 question-operator term algebra 是本系列自行提出的工作框架，不宣稱出自上述文獻。