学校名称：中山大学

一级学科：0101哲学

导师姓名：马明辉　　　　　　性别：男

职称：教授　　　　　　学历：博士

联系方式：mamh6@mail.sysu.edu.

研究方向：主要研究非经典逻辑（模态/哲理逻辑等），涉及逻辑史、逻辑哲学、分析哲学。

工作经历：

中山大学哲学系教授、博士生导师。

出版物：

未知

教学工作：

未知

研究项目/科研课题：

1. 主持国家社科基金重大项目1项（2018年18ZDA033） 2. 国家社科基金青年项目2项（2012-2015年12CZX054、2016年16CZX049） 3. 教育部人文社会科学研究青年项目1项（2012-2015） 4. 出版著作2部，译著3部，编写教材1部。 5. 2017年获评青年珠江学者。

论文专著：

1. M. Ma & H. van Ditmarsch. Dynamic Graded Epistemic Logic. The Review of Symbolic Logic, 2019. DOI: https://doi.org/10.1017/S1755020319000285. 2. M. Ma & Y. Lin. A Three-Valued Fregean Quantification Logic. Journal of Philosophical Logic, 48(2): 409-423, 2019. 3. M. Ma & A.-V. Pietarinen. A Graphical Deep inference system for intuitionistic system. Logique et Analyse, 245: 73-114, 2019. 4. K. Sano and M. Ma. Sequent Calculi for Normal Update Logics. In: Khan M., Manuel A. (eds) Logic and Its Applications. ICLA 2019. LNCS 11600. Springer, 2019. 5. M. Ma & Y. Lin. A deterministic weakening of Belnap-Dunn logic. Studia Logica, 107(2): 283-312, 2019. 6. M. Ma & A.-V. Pietarinen. Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction. Journal of Philosophical Logic, 47(6): 913-945, 2018. 7. G. Greco, M. Ma, A. Palmigiano, A. Tzimoulis, Z. Zhao. Unified Correspondence as a Proof-Theoretic Tool. Journal of Logic and Computation, 28(7): 1367-1442, 2018. 8. M. Ma & A.-V. Pietarinen. Peirce’s Calculi for Classical Propositional Logic. The Review of Symbolic Logic, 2018. DOI: https://doi.org/10.1017/S1755020318000187 9. M. Ma & M. K. Chakraborty. Covering-based rough sets and modal logics. Part II. International Journal of Approximate Reasoning, 95:113-123, 2018. 10. M. Ma and K. Sano. How to update neighbourhood models. Journal of Logic and Computation, 28(8): 1781-1804, 2018. 11. M. Ma & Y. Lin. Countably weakenings of Belnap-Dunn logic. Studia Logica, 2018. https://doi.org/10.1007/s11225-018-9840-6. 12. M. Ma. Labelled tableaux for some subintuitionistic logics. Logica Universalis, 2018. https://doi.org/10.1007/s11787-018-0201-z 13. M. Ma. Perice’s logical graphs for Boolean algebras and distributive lattices. Transactions of the Charles S Peirce Society, 54(3):320-340, 2018. 14. M. Ma & A.-V. Pietarinen. A Weakening of Alpha Graphs: Quasi-Boolean Algebras. In: Chapman P., Stapleton G., Moktefi A., Perez-Kriz

专利成果：

未知

荣誉奖励：

未知

实验室介绍：

未知