There is only one heroism in the world: to see the world as it is and to love it.

About

Position: PhD student
Major: Logic
Affiliation: Department of Philosophy, Institute of Logic and Cognition, Sun Yat-sen University
Email: [email protected]
Areas of Specialization
- Modal Logic
- Substructural Logic
Areas of Interest
- Logic: Philosophical Logic, Formal Argumentation Theory
- Philosophy: Epistemology, Metaphysics, Philosophy of Logic, Philosophy of Science, Existentialism
External Links: ResearchGate, PhilPeople, ORCID, Google Scholar
Pronoun: He/Him/His
My Blog:

末想

Welcome to my homepage. I am a very nice and easy-going person. Feel free to contact me if you have any needs via email.

Education

November 2025 - November 2026: Visiting PhD student, University of St Andrews, St Andrews, Scotland
September 2023 - present: PhD student, Sun Yat-sen University, Guangzhou, China
September 2020 - June 2023: Master of Philosophy, Xiamen University, Xiamen, China
September 2016 - July 2020: Bachelor of Management, Ningbo University, Ningbo, China

Yiheng Wang, Zhe Lin, Yu Peng and Zhe Yu*. (2026). FMP in classical and intuitionistic non-normal monotonic modal logic with transitivity. Synthese, volume 208, issue 3. Link
Yiheng Wang, Zhe Lin* and Mihir Kumar Chakraborty. (2026). From weakly topological quasi-Boolean algebra to weak pre-rough algebra and closely related structures: an algebraic and logical investigation. Logic Journal of the IGPL, volume 34, issue 3. Link
Zhe Yu, Hao Zhan, Yiheng Wang, Zhe Lin* and Fei Liang*. (2025). On the Equational Theory of Lattice-Based Algebras for Layered Graphs. Axioms, volume 14, issue 4, page 257-272. Link
Yiheng Wang, Zhe Lin and Minghui Ma*. (2024). Decidability of Topological Quasi-Boolean Algebras. Journal of Applied Non-Classical Logics, volume 34, issues 2-3, pages 269-293. Link

Yiheng Wang. (2025). Tense Ockham Logic (in Chinese). In 19th National Conference on Modern Logic, accepted. Shanghai, China.
Yiheng Wang. (2025). From Modal Ockham Algebras to Modal Berman Variety: Relational Semantics and Kripke-Completeness. In 19th edition of the European Conference on Logics in Artificial Intelligence, LNCS volume 16093, pages 290-305. Kutaisi, Georgia.
Yiheng Wang* and Yu Peng*. (2025). Finite Model Property in Normal Extensions of Euclidean Quasi-Boolean Modal Logics. In 10th International Workshop on Logic, Rationality and Interaction, LNCS volume 16010, pages 165-178. Xi’an, China.
Yiheng Wang, Yu Peng*, and Zhe Yu*. (2025). Finite Model Property of Bull’s Intuitionistic Non-normal Modal Logic with Transitivity Axiom. In 7th Asian Workshop on Philosophical Logic, Kolkata, India.
Yu Peng* and Yiheng Wang*. (2023). On the Finite Model Property of Non-normal Modal Logics. In 9th International Workshop on Logic, Rationality and Interaction, LNCS volume 14329, pages 207-221. Jinan, China.