一、学习经历

[2011年7月至今]西南大学政治与公共管理学院哲学系/逻辑与智能研究中心任职。

[2008年9月—2011年7月]清华大学人文社会科学学院哲学系,逻辑学专业博士研究生, 获哲学博士学位。[2009年11月—2010年11月]荷兰阿姆斯特丹大学逻辑、语言与计算研究所(ILLC), 国家建设高水平大学联合培养博士研究生项目,合作导师 Johan van Benthem 教授和 Yde Venema 教授。

[2005年9月—2008年7月]清华大学人文社会科学学院哲学系,逻辑学专业硕士研究生, 提前攻读哲学博士学位。

[2001年9月—2005年7月]北京师范大学哲学与社会学学院,思想政治教育专业本科生, 获教育学学士学位。

二、研究领域

研究方向：符号逻辑研究兴趣：模态逻辑、模型论、动态认知逻辑、现代逻辑史、语言哲学、逻辑哲学

三、发表论文

[1] Minghui Ma. Mathematics of Public Announcements. In: H. van Ditmarsch, J. Lang, and S. Ju (Eds.), Proceedings of the third International Workshop on Logic, Rationality and Interaction (LORI-III), LNAI 6953, pp. 193–205, Springer-Verlag, 2011.

[2] Minghui Ma and Meiyun Guo. Logics of Belief over Weighted Structures. In: H. van Ditmarsch, J. Lang, and S. Ju (Eds.), Proceedings of the third International Workshop on Logic, Rationality and Interaction (LORI-III), LNAI 6953, pp.206-219, Springer-Verlag, 2011.

[3] Mehrnoosh Sadrzadeh, Alessandra Palmigiano and Minghui Ma. Algebraic Semantics and Model Completeness for Intuitionistic Public Annuoncement Logic. In: H. van Ditmarsch, J. Lang, and S. Ju (Eds.), Proceedings of the third International Workshop on Logic, Rationality and Interaction (LORI-III), LNAI 6953, pp.394-395, Springer-Verlag, 2011.

[4] Katsuhiko Sano and Minghui Ma, Goldblatt-Thomason-style Theorems for Graded Modal Language. In: Lev Beklemishev, Valentin Goranko and Valentin Shehtman (eds). Advances in Modal Logic, Volume 8, pp. 330-349. College Publications, 2010.

[5] Md. Aquil Khan and Minghui Ma. A Modal Logic for Multiple-Source Tolerance Approximation Spaces. In: M. Banerjee and A. Seth (Eds.): Proceedings of the 4th Indian Conference on Logic and its Applications (ICLA 2011), LNAI 6521, pp. 124-136. Springer-Verlag, Berlin Heidelberg, 2011.

[6] Minghui Ma. Toward Model-Theoretic Modal Logics. Frontiers of Philosophy in China, 5(2): 293-310. Higher Education Press and Springer, 2010.

[7] Minghui Ma. Dynamic Epistemic Logic of Finite Identification. In: Xiangdong He, J. Horty and E. Pacuit (eds.). Proceedings of the Second International Workshop on Logic, Rationality and Interaction (LORI-II), pp. 227-237, Springer, 2009.

[8] Minghui Ma. Dynamic Epistemic Logic and Graded Modal Logic. In: L. Kurzen and F. Velázquez-Quesada (eds.). Logics for Dynamics of Information and Preferences, Seminar's Yearbook 2008, pp. 208-219. Institute for Logic, Language and computation, Universiteit van Amsterdam, 2008.

[9] Minghui Ma. Graded Modal Classes of Finite Transitive Frames. Studies in Logic, 2:19-25, 2010. [10]马明辉.走向模型论的模态逻辑.逻辑学研究,1:62-77,2009

[11]马明辉.论广义弗雷格谜题.哲学研究,2012年第1期

[12]马明辉.模态对应理论述评.哲学动态,2012年第1期

[13]马明辉.论教学观的认知转向.四川师范大学学报（社科版）2012年第3期

[14]Minghui Ma. The semantic relativistic approach to generalized Fregean puzzles. Frontiers of Philosophy in China 7(3):402-421.

[15]马明辉.论逻辑系统的波斯特完全性.自然辨证法研究2012年第11期.

四、专著及其他

［1］马明辉:《分次模态语言的模型论》，科学出版社2012年

［2］马丁.斯托克霍夫:“意义的体系——维特根斯坦的《逻辑哲学论》与形式语义学”,北京:《世界哲学》,2009 年第2 期。

［3］约翰.范本特姆:“语义自动机”,《逻辑之门——范本特姆经典著作集》卷2,北京:科学出版社 2010 年。

［4］奥斯本:《图解哲学》,重庆:重庆大学出版社2010 年。

［5］“西方哲学的问题、方法与方式”研讨会在京召开,《中国社会科学报》2009 年12月15日, 第5版。

五、科研项目

［1］主持重庆市人文社会科学重点研究基地项目「模态模型论研究」（10SKB30）

［2］主持教育部人文社会科学研究青年项目「模态完全性理论的句法研究」（12YJC72040001）。

［3］主持国家社科基金青年项目「模态可定性性理论研究」（12CZX054）。

［4］主持西南大学博士基金项目“模态逻辑的完全性与POST完全性研究”（2011－2012）已结题。

六、会议报告

［1］On Bull’s Logics in NExt(S4). Mini-workshop on Modal Logic, Language and Logical Dynamics, Tsinghua University, Beijing, June 12, 2011.

［2］Definability in Regular Propositional Dynamic Logic. 首届全国现代逻辑研讨会,武汉:武汉大学,2011年4月23日。

［3］Mathematics of Pubilc Announcements. 北京市逻辑学会青年学者逻辑论坛,北京师范大学哲学与社会学学院,2011 年 4 月 17 日。

［4］Goldblatt-Thomason Theorem for Coalgebraic Graded Modal Logic. 首届东亚逻辑、语言与计算冬令营学生论坛,中山大学逻辑与认知研究所, 2010 年 12 月 14 日。

［5］Model Theory for Coalgebraic Graded Modal Logic. Seminars on Algebra and Colagebra.

Amsterdam: ILLC, Science Park 904, D1.114, Oct. 1, 2010.

［6］Extending Sahlqvist Completeness Theorem. 北京市逻辑学会青年学者逻辑论坛,清华大学人文社会科学学院,2009 年 6 月 24 日。

［7］Some Aspects of Model Theory for Graded Modal Logic. 第八届中国逻辑大会,天津:天津商业大学,2008 年 11 月 1  日。

［8］Model Theory for Graded Modal Logic. International Conference and The Second East-Asian Summer School on Logic, Language and Computation. Chongqing, 2012.8.25-2012.8.31。特邀报告。

［9］On degrees of epistemic modality. International Conference on Kripke, Logic and Philosophy. Peking University, 2012.9.2-2012.9.4。特邀报告。

[10] Bull’s Logics in Next(S4) Revisited. The 47th Japan MLG (Mathematical Logic Group) Meeting. Japan, Niigata, 2012.11.16-18