版本更新 · v2arXiv:2604.22020
Interpolation above S4
Simon Santschi, Niels C. Vooijs
We complete Maksimova's classification of Craig and deductive interpolation in normal extensions of S4. In particular, we prove Craig interpolation for the six extensions of S4 for which the status of the property was still open. The proof strategy builds upon the ideas of Smoryński, but employs a novel approach using Fine's frame formulas for splitting clusters in transitive models.
尚无 AI 解读，展示原文摘要
math.LO · cs.LO