
There is only one heroism in the world: to see the world as it is and to love it.
https://music.163.com/song?id=1811445862&userid=582641144
About
-
Position: PhD student
-
Major: Logic
-
Affiliation: Department of Philosophy, Institute of Logic and Cognition, Sun Yat-sen University
-
Email: ianwang747@gmail.com
-
Areas of Specialization
- Non-classical Modal Logic
-
Areas of Interest
- Logic: Philosophical Logic
- Philosophy: Epistemology, Metaphysics, Philosophy of Logic, Philosophy of Science, Existentialism
-
External Links: ResearchGate, PhilPapers, ORCID, Google Scholar
-
My 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
Publications
Journal Papers
- 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
Conference Papers
- 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.
- Yiheng Wang, Xue Ge, and Zhe Lin*. (2023). Nonassociative Intuitionistic Multiplicative Exponential Linear Logic and its Extension. In Semantical and Computational Aspects of Non-Classical Logics 2023, pages 81-84. Moscow, Russia.