news

Oct 24, 2026 I gave a presentation entitled “A Goldblatt-Thomason Theorem for Non-contingency Logic on Finite Frames” with Prof. Fan Jie at 20th National Conference on Modern Logic in China (NCML 2026), Department of Philosophy of Science and Technology, University of Science and Technology of China.
Oct 20, 2026 I presented a finite-variable version of Goldblatt-Thomason Theorems at the Center for Logic, Language and Cognition, Peking University, on 20 October 2026.
Sep 30, 2026 I published a popular-science article, The Dark Forest, Chains of Suspicion, and Game Theory (黑暗森林、猜疑鏈與賽局理論), in Mathmedia, a journal published by the Institute of Mathematics of the Academia Sinica, Taiwan. It uses the sci-fi novel The Three-Body Problem to introduce game theory and epistemic logic.
Sep 25, 2026 I gave an online presentation with Dr. Youan Su on our joint work with Dr. Huaqing Cheng, “The Barcan Formula in First-Order Intuitionistic Modal Logics S5,” at the Ookayama Logic Seminar Summer Intensive Seminar, 24–25 September 2026 (大岡山ロジックセミナー夏期集中セミナー), hosted by the Institute of Science Tokyo (東京科学大学).
Sep 22, 2026 I gave a presentation entitled “A Jónsson-Tarski-Goldblatt Representation and Frame Definability for Noncontingency Logic” at Colloquium Logicum 2026, held at the Institute of Mathematics of the University of Würzburg.