Barcan Formula Talk

Created on September 25, 2026

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 (東京科学大学).