Barcan Formula Talk

I gave an online talk jointly with Dr. Youan Su, entitled “The Barcan Formula in First-Order Intuitionistic Modal Logic S5.” The talk presented joint work with Dr. Youan Su and Dr. Huaqing Cheng at the Ookayama Logic Seminar Summer Intensive Seminar, 24–25 September 2026 (大岡山ロジックセミナー夏期集中セミナー), hosted by the Institute of Science Tokyo (東京科学大学).