# External research interfaces

## Formal questions / semantics
- Andrzej Wiśniewski — Inferential Erotetic Logic; question evocation / erotetic implication.
- Ivano Ciardelli, Rosalie Iemhoff, Fan Yang — questions and dependency in intuitionistic logic; normal-form and completeness interfaces.
- Reijo Jaakkola, Antti Kuusisto — first-order logic with self-reference and an explicit recursion operator.

## Dynamic semantic / epistemic actions
- Alexandru Baltag, Lawrence S. Moss, Sławomir Solecki — logics of public announcements and epistemic actions as model-transforming modalities.

## LLM search / branching / action interfaces
- Shunyu Yao et al. — Tree of Thoughts: exploration, evaluation, lookahead and backtracking over multiple reasoning paths.
- Shunyu Yao et al. — ReAct: interleaving reasoning traces and environment actions.
- Uncertainty of Thoughts / uncertainty-aware planning — candidate-question generation and future simulation as an engineering-neighbor pattern.

## Boundary
These works support adjacent formal or engineering ideas. They do not contain the T-query six-generator basis, X^O/X^Q distinction, Semantic Curvature Defect, Convergent Re-linking, or TQR commit model; those are this series' working definitions.