talks
The Barcan Formula in First-Order Intuitionistic Modal Logic S5
Ookayama Logic Seminar Summer Intensive Seminar, 24–25 September 2026 (大岡山ロジックセミナー夏期集中セミナー)
Institute of Science Tokyo (東京科学大学), online · 25 September 2026
Joint presentation with Dr. Youan Su.
Joint work with Dr. Youan Su and Dr. Huaqing Cheng.
Goldblatt-Thomason Theorems of Bundled Fragments
Colloquium Logicum 2026
Institute of Mathematics, University of Würzburg · 22 September 2026
When Necessity Can Be Defined in Terms of Noncontingency
Salzburg Conference for Young Analytic Philosophy (SOPhiA 2026)
University of Salzburg · 3 September 2026
Abstract
On when necessity can be defined in terms of noncontingency.
A Jónsson-Tarski-Goldblatt Representation and Frame Definability for Noncontingency Logic
Scandinavian Logic Society Symposium (SLSS 2026)
Technical University of Denmark (DTU) · 22 August 2026
The Elimination of Direct Self-Reference
The 16th National Conference on Modern Logic
Shandong University · 29 October 2022
Joint presentation with Prof. Ming Hsiung.
The Elimination of Direct Self-Reference
Annual Conference of Philosophy of Mathematics in China
Sun Yat-sen University · 3 September 2022
Joint presentation with Prof. Ming Hsiung.