逻辑学论文
- 模态对应理论中框架可定义性的反模型构造
- 直觉逻辑时态算子可判定性证明
- 基于模态逻辑与认知逻辑融合的信念修正动态性研究
- 相干蕴涵系统R的根岑化改进证明
- 非经典逻辑的代数语义建构
- 模态逻辑中的反事实推理模型优化
- 基于模态逻辑的认知悖论多主体交互模型构建与验证
- 模态对应理论中框架可定义性的模型论分析
- 基于模态逻辑的认知悖论多模态融合分析框架研究
- 认知逻辑中的动态语义模型构造
- 模态逻辑邻域语义的紧致性证明
- 模态逻辑中可证性算子的语义消解
- 直觉主义逻辑排中律失效性的构造性证明
- 模态逻辑框架下动态认知模型的公理化修正研究
- 直觉主义逻辑排中律的证伪机制分析
- 直觉主义逻辑中排中律的构造性辩护与计算语义分析
- 模态逻辑中可能世界语义学的真理论困境及其解悖路径研究——以克里普克“跨界同一性”难题为中心
- 模态逻辑中严格蕴涵悖论的消解路径：基于情境语义学的理论重构
- 模态逻辑中可能世界语义学的哲学基础探析
- 从模态逻辑视角析可能性与必然性概念的哲学内涵