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 Blog:

  末想

Education

• 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

• 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 Yudi Ding. (2025). Logics for Kleene Algebra with Modal Operators: Kripke-completeness and FMP. In 5th International Conference on Artificial Intelligence Logic and Applications, accepted. Xi’an, China.
• 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.
• Yiheng Wang and Zhe Lin*. (2024). Weakly Topological Quasi-Boolean Algebra in Rough Set Theory: Related Algebra Structures and Logical Systems (in Chinese). In 1st Chinese National Conference on Artificial Intelligence Logic, Lanzhou, China.
• Zhe Yu, Yiheng Wang*, and Zhe Lin*. (2024). Decidability of Horn Sequents over Intuitionistic Tense Logic S4. In 4th International Workshop on Logics for New-Generation Artificial Intelligence, pages 92-103. Hangzhou, China.
• 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, Zhe Lin*, and Shier Ju*. (2023). A Logic for Temporal and Open Information. In 3th International Workshop on Logics for New-Generation Artificial Intelligence, pages 93-109. Hangzhou, China.