# 外部定位參考資料

檢索日期：2026-08-13。

1. Andrzej Wiśniewski, “Deduction and Reduction Theorems for Inferential Erotetic Logic,” *Studia Logica* 106 (2018), 295–309.
   - question evocation、erotetic implication、deduction/reduction theorems。

2. Andrzej Wiśniewski, *The Posing of Questions: Logical Foundations of Erotetic Inferences*, 1995.
   - logic of questions、generation of questions、erotetic implication。

3. Alexandru Baltag, Lawrence S. Moss, Sławomir Solecki, “The Logic of Public Announcements, Common Knowledge and Private Suspicions,” Indiana University TR534, 1999.
   - epistemic actions as object-language modalities; model-transforming information actions。

4. Ivano Ciardelli, Rosalie Iemhoff, Fan Yang, “Questions and dependency in intuitionistic logic,” arXiv:1704.01866.
   - formal questions/dependencies、normal-form/completeness interfaces。

5. Ivano Ciardelli, “Inquisitive Neighborhood Logic,” arXiv:2411.04031.
   - modal/conditional operators applicable to statements and questions。

## 本文新增工作定義

- \(X_{\mathcal S}\) semantic lifts；
- T-centered non-commutative query calculus；
- Semantic Curvature Defect；
- Order Orbit / Order Multiplicity；
- Commutation Certificate；
- Non-Commutativity Witness。