Mar. 29 Talk by Yunsong Wang: Topological Semantics and Evidential-based Epistemic Logic

Home» News» Seminars» Mar. 29 Talk by Yunsong Wang: Topological Semantics and Evidential-based Epistemic Logic

Mar. 29 Talk by Yunsong Wang: Topological Semantics and Evidential-based Epistemic Logic

发布日期：2022-03-25 作者：

Title: Topological Semantics and Evidential-based Epistemic Logic

Speaker: Yunsong Wang (ILLC)

Time: 15:10 ~ 18:00 (Mar. 29)

Zoom Meeting Link: https://us02web.zoom.us/j/83109649460?pwd=aGJSTnl4UGtJME4vd0hCWDlnZzJDQT09

Meeting ID: 831 0964 9460 Passcode: 765104

Abstract: This talk is about Topological Semantics for Modal Logic and some Epistemic Logics based on Topo-Semantics. It will mainly contain two parts: Part One is more technical, in which I will introduce some topological preliminaries and the Topo-Semantics for Modal Logic. Part Two is more conceptual, I will show three kinds of Topo-Semantics for Epistemic Logic, the focus will be on the intuition of the knowledge defined by them and how topology is used in these semantics. If time permitted, I will present some important technical open problems for Part One and discuss some possible future works for Part Two. The technical part of this talk is mainly based on some courses by Alexandru Baltag, Nick Bezhanishvili and Aybüke Özgün in ILLC.