在具有线性框架的模态逻辑中，对克雷格插值（Craig Interpolation）存在不同的观点

《The Journal of Symbolic Logic》：A NON-UNIFORM VIEW OF CRAIG INTERPOLATION IN MODAL LOGICS WITH LINEAR FRAMES

　　

摘要

由于此内容没有提供摘要，因此提供了预览。请使用上方的“获取访问权限”链接了解如何访问该内容的信息。

---