2025 April 24 16:00-17:30 Huaqing Cheng (程华清 安徽师范大学) The S5 Modal Expansion of Intuitionistic First-Order Logic with a Layered Intuitive Interpretation

There exist various works on intuitionistic modal logics which originate from different sources. In this talk, I will construct the system ILS5 (the S5 modal expansion of intuitionistic first-order logic) which maintains the Brouwer-Heyting-Kolmogorov (BHK) interpretation. Meanwhile, I will explore whether ILS5 accepts the Barcan Formula from two perspectives: intuitive interpretation and relational semantics…More>>

2025 April 24 14:00-15:30 Haoxuan Luo (罗昊轩 Tsinghua University)An Epistemic Logic for Formalizing Correlations

When faced with complex epistemic-combinatorial situations, agents struggle to formally differentiate between relational patterns, creating gaps in formal models.

To address this, we introduce strictly relevant operators and construct an Epistemic Logic based on Possible Knowledge Bases…More>>