📋 所有演示 📋 All Presentations 共 9 个 9 Total
社交宣告逻辑的可靠且弱完备表列系统 A Sound and Weakly Complete Tableau System for SAL
ARQNL 2026 报告：社交宣告逻辑的表列证明搜索、反模型提取与可判定性分析。 ARQNL 2026 talk on tableau proof search, countermodel extraction, and decidability for Social Announcement Logic.
进入幻灯片 → View Slides →社交宣告逻辑 Social Announcement Logic
2025年Universal Logic大会上做报告使用的幻灯片 Slides used for the presentation at the Universal Logic Conference 2025.
进入幻灯片 → View Slides →沈有鼎与模态逻辑 Shen Yuting and Modal Logic
2026年AWPL工作会议上做报告使用的幻灯片 Slides used for the presentation at the AWPL Workshop 2026.
进入幻灯片 → View Slides →社交宣告逻辑表列式演算 Tableau Calculus for SAL
2025年NCML会议上报告所使用幻灯片 Slides used for the presentation at the NCML Conference 2025.
进入幻灯片 → View Slides →表列式演算教学 Tableau Calculus Tutorial
入门表列式演算所用 Introductory tutorial material for Tableau Calculus.
进入幻灯片 → View Slides →卡诺图教学 Karnaugh Map Tutorial
卡诺图教学之用 Teaching material designed for Karnaugh Maps.
进入幻灯片 → View Slides →同侪压力与偏好变更 Peer Pressure & Preference Updates
社交网络中偏好变更、弱更新与强更新机制的逻辑刻画 Logical characterization of preference updates, weak and strong updates in social networks.
进入幻灯片 → View Slides →卡罗尔悖论与逻辑规范性 Carroll's Paradox and Logical Normativity
金岳霖、罗素与逻辑实在论的思想线索 Jin Yuelin, Russell, and the realist problem of inference.
进入幻灯片 → View Slides →什么是真理？ What Is Truth?
从符合论、验证主义与塔斯基语义，到紧缩论、融贯论和当代问题。 From correspondence, verificationism and Tarskian semantics to deflationism, coherence, and contemporary questions.
进入幻灯片 → View Slides →