Qianli Zeng(曾千里)

profile.jpg

My primary philosophical interests are logic (especially mathematical and philosophical logic), formal epistemology, and metaphysics. I also have general interests in philosophy of science. My current work focuses on modal logic, especially bundled fragments of modal logic, e.g., noncontingency logic, together with their algebra, representation, and model theory, as well as on the philosophical applications of formal methods.

I am also mainly interested in VTubers (especially Nijisanji), cinema (especially film history), anime and manga, literature, and Japanese comedy (manzai and conte). I warmly welcome conversations on these topics.

我的兴趣包括数理逻辑和哲学逻辑、虚拟主播(尤其是彩虹社)、哲学、电影(尤其是电影史,我的豆瓣)、动漫与漫画、文学,以及日本喜剧(漫才、短剧等)。交流大欢迎 🥹

Doing justice to what we know. — Hao Wang

For publications, see the publications page. A complete curriculum vitae is available as a PDF.

news

Sep 25, 2026 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 (東京科学大学).
Sep 22, 2026 I gave a talk 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.

latest posts

selected publications

  1. The Elimination of Direct Self-Reference
    Qianli Zeng and Ming Hsiung
    Studia Logica, 2023