Personal profile

Yan Zhang, lecturer at the School of Philosophy, Renmin University of China. My research interests primarily include modal logic, philosophical logic, non-monotonic logic, and formal argumentation systems. My teaching courses cover logic and critical thinking, mathematical logic, modal logic, non-monotonic logic, among others.

Email: yanzhangsym@outlook.com

Selections of published papers are:

• Yan Zhang, Kai Li, "Decidability of Logics Based on an Indeterministic Metric Tense Logic," Studia Logica, 2015

• Yan Zhang, "Decidability of the Monadic Theory of Z-Rabin Trees," Studies in Logic, 2017

• Yan Zhang: "Finite Axiomatizability of Transitive Logics of Finite Depth and of Finite Weak Width," Studies in Logic, 2019

• Yan Zhang: "Practical Reasoning: What Goals Ought to Be Formed from Based on Beliefs and Desires," Logic Studies, 2021

• Yan Zhang, Ming Xu: "Finite Axiomatizability of Transitive Modal Logics of Finite Depth and Width with Respect to Proper-Successor-Equivalence," The Review of Symbolic Logic, 2023