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: Ph.D. student
- Major: Logic
- Affiliation: Department of Philosophy, Institute of Logic and Cognition, Sun Yat-sen University
- Email: ianwang747@gmail.com
- Areas of Specialization
- Kripke Semantics and Algebraic Proof-theoretical Studies on 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
末想
Education
- September 2023 - present
- September 2020 - June 2023
- September 2016 - July 2020
Sun Yat-sen University
Xiamen University
Ningbo University
Ph.D. student
Master of Philosophy
Bachelor of Management
Guangzhou, Guangdong, China
Xiamen, Fujian, China
Ningbo, Zhejiang, China
Outstanding Graduate Honor; Outstanding Master Thesis Honor
Publications
Journal Papers
- Zhe Yu, Hao Zhan, Yiheng Wang, Z Lin*, and Fei Liang*. "On the Equational Theory of Lattice-Based Algebras for Layered Graphs." Axioms 14 (4), 2025: 257. Link
- Yiheng Wang, Zhe Lin and Minghui Ma*. "Decidability of topological quasi-Boolean algebras." Journal of Applied Non-Classical Logics 34 (2-3), **2024: 1-25. Link
Conference Papers
- Yiheng Wang* and Yu Peng*. "Finite Model Property in Normal Extensions of Euclidean Quasi-Boolean Modal Logics" 10th International Workshop on Logic, Rationality and Interaction. accepted, 2025.
- Yiheng Wang, Yu Peng*, and Zhe Yu*. "Finite Model Property of Bull's Intuitionistic Non-normal Modal Logic with Transitivity Axiom." 7th Asian Workshop on Philosophical Logic. AWPL 2025.
- 王译恒, 林哲*. "粗糙集理论中的弱拓扑拟布尔代数：相关代数结构与逻辑系统" 第一届全国人工智能逻辑大会, 2024.
- Zhe Yu, Yiheng Wang* and Zhe Lin*. "Decidability of Horn Sequents over Intuitionistic Tense Logic S4" LNGAI 2024.
- Yu Peng* and Yiheng Wang*. "On the Finite Model Property of Non-normal Modal Logics." 9th International Workshop on Logic, Rationality and Interaction. Cham: Springer Nature Switzerland, 2023. Link
- Yiheng Wang, Zhe Lin* and Shier Ju*. "A logic for temporal and open information." LNGAI 2023.
- Yiheng Wang, Xue Ge, and Zhe Lin*. "Nonassociative intuitionistic multiplicative exponential linear logic and its extension." SCAN 2023.
- Yiheng Wang and Zhe Lin*. "Involutive commutative residuated lattice without unit: logics and decidability." SCAN 2023.