馬明輝

2001.09-2005.07 北京師範大學哲學與社會學學院/本科生

2005.09-2008.07 清華大學人文學院哲學系邏輯學專業/碩士研究生（推薦免試）

2008.09-2011.06 清華大學人文學院哲學系邏輯學專業/博士研究生（推薦免試）

2009.11-2010.11 荷蘭阿姆斯特丹大學邏輯、語言與計算研究所/聯合培養博士生

2012.11-2013.01 日本北陸先端科學技術大學院大學信息科學系訪問學者

2014.10-2015.10 荷蘭代爾夫特理工大學訪問學者

2015.05-2015.06 應邀訪問法國Lorraine Research Laboratory in Computer Science and

its Applications (LORIA)研究所

2016.07-2016.08愛沙尼亞塔林理工大學訪問學者 ^[1] 

非經典邏輯（證明論和模型論），模態邏輯，現代邏輯史與形而上學 ^[1]  。

1. Minghui Ma and A.-V. Pietarinen. Proof analysis of Peirce’s alpha system of graphs. Studia Logica, 2017, Doi :10.1007/s11225-016-9703-y.

2. Minghui Ma and A.-V. Pietarinen. Peirce’s sequent proof of distributivity. Proceedings of ICLA 2017. Springer. To appear.

3. Minghui Ma and A.-V. Pietarinen. Graphical sequent calculi for modal logics. Proceedings of Methods for Modalities 2017. To appear.

4. Minghui Ma and Mihir K. Chakraborty. Covering-based rough sets and modal logics. Part I. International Journal of Approximate Reasoning. 77:55-65, 2016.

5. Minghui Ma and Zhiguang Zhao. Unified correspondence and proof theory for strict implication. Journal of Logic and Computation. 2016. doi: 10.1093/logcom/exw012.

6. G. Greco, M. Ma (main corresponding author), A. Palmigiano, A. Tzimoulis, and Z. Zhao. Unified Correspondence as a Proof-Theoretic Tool. Journal of Logic and Computation. 2016. doi: 10.1093/logcom/exw022.

7. 馬明輝.早期分析哲學中的信念邏輯.《世界哲學》2016年第5期

8. 馬明輝,劉新文.論弗雷格式量化邏輯.《哲學動態》2016年第2期

9. 馬明輝,王善俠,鄧輝文.極小非正規時序邏輯的矢列式演算系統.《中國科學》(信息科學)，2016.doi: 10.1360/N112015-00320

10. Minghui Ma and Ahti-Veikko Pietarinen. A Dynamic Approach to Peirce's Interrogative Construal of Abductive Logic. IFCoLog Journal of Logic and Applications. 2016.

11. Minghui Ma and Katsuhiko Sano. How to update neighbourhood models. Journal of Logic and Computation. 2015. doi: 10.1093/logcom/exv026

12. Ma, M., Sano, K., Schwarzentruber, F., & Velázquez-Quesada, F. R. (2015). Tableaux for Non-normal Public Announcement Logic. In Logic and Its Applications (pp. 132-145). Springer Berlin Heidelberg.

13. Katsuhiko Sano & Minghui Ma. (2015). Alternative Semantics for Visser’s Propositional Logics. In Logic, Language, and Computation (pp. 257-275). Springer Berlin Heidelberg.

14. Minghui Ma and Jeremy Seligman. Algebraic Semantics for Dynamic Dynamic Logic. In: Proceedings of LORI-V. Springer, 2015.

15. Ma, M., & Sano, K. On Extensions of Basic Propositional Logic. Proceedings of the 13th Asian Logic Conference, 170--200. World-scientific Press, 2015.

16. Ma, M. and S. Wang. Finite-chain graded modal logics. In: Modality, Semantics and Interpretation. Springer, 2015.

17. Minghui Ma. The disjunction property of some propositional logic. Studies in Logic, 2015(2): 2-11.

18. 馬明輝.論奎因的邏輯論題.《世界哲學》2015年第5期

19. 馬明輝.三值邏輯與意義理論.《西南大學學報》(哲社版).2015年第1期

20. Minghui Ma, A. Palmigiano, M. Sadrzadeh. Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic. Annals of Pure and Applied Logic 165(4): 963-995, 2014.

21. 馬明輝、何向東. 演繹、歸納與溯因——從信息哲學的觀點看.《科學技術哲學研究》2014年第3期

22. 馬明輝.塔爾斯基論邏輯後承概念.《世界哲學》2014年第1期

23. Minghui Ma & Katsuhiko Sano. How to Update Neighborhood Models. Proceedings of LORI IV. Springer, 2013.

24. 馬明輝. 常邏輯公式與可定義性,《湖南科技大學學報》(哲社版)2013(6)

25. 馬明輝、劉新文.模態對應理論的歷史、現狀與未來——約翰.範.本特姆教授訪談錄,《世界哲學》2013年第5期

26. 何文堃、馬明輝.弱連通傳遞框架類的命題邏輯.《邏輯學研究》2013(4)

27. Minghui Ma. Bull's Logics in NExt(S4) Revisited. Studies in Logic, 1:1-10, 2013.

28. 馬明輝.論邏輯系統的波斯特完全性,《自然辯證法研究》2012(11)

29. 馬明輝. 論廣義弗雷格謎題.《哲學研究》, 2012年第1期

30. 馬明輝、劉新文:模態對應理論評述,《哲學動態》,2012(1)

31. Minghui Ma. The Semantics Relationistic Approach to Generalized Fregean Puzzles. Frontiers of Philosophy in China. 2012.

32. Minghui Ma. Mathematics of Public Announcements. In: H. van Ditmarsch, J. Lang, and S. Ju (Eds.), Proceedings of LORI-III, LNAI 6953, pp. 193–205, Springer-Verlag, 2011.

33. Minghui Ma and Meiyun Guo. Logics of Belief over Weighted Structures. In: H. van Ditmarsch, J. Lang, and S. Ju (Eds.), Proceedings of LORI-III, LNAI 6953, pp.206-219, Springer-Verlag, 2011.

34. 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.

35. M. Sadrzadeh, A. Palmigiano and Minghui Ma. Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic. In: H. van Ditmarsch, J. Lang, and S. Ju (Eds.), Proceedings of LORI-III, LNAI 6953, pp. 394–395, Springer-Verlag, 2011.

36. 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.

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

38. Minghui Ma. Graded Modal Classes of Finite Transitive Frames. Studies in Logic, 2:19-25, 2010.

39. 馬明輝.走向模型論的模態邏輯.《邏輯學研究》2009(1)

40. 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. ^[1] 

1. 馬明輝.《分次模態語言的模型論》. 科學出版社2012年

2. 馬明輝、周小華、江怡、張桔、葉斌、尹文奇譯,《杜威全集》第八卷,華東師範大學出版社 2015 年版。

3. 馬明輝等譯，《杜威全集》第六卷,中期著作,華東師範大學出版社2012年。

4. [英]理查德·奧斯本:《圖解哲學》,馬明輝譯, 重慶大學出版社 2010。

5. [荷]約翰·範·本特姆:“語義自動機”, 載《邏輯之門——範.本特姆經典選集》(二),科學出版社 2009 年。

6. [荷]馬丁·斯托克霍夫:“意義的體系”,馬明輝譯, 世界哲學, 2010(5) ^[1] 

1. 2016.8.22-28.2016年印度邏輯夏令營，開設“代數邏輯”講座。

2. 2016.7.1-8.19.應邀訪問芬蘭赫爾辛基大學、愛沙尼亞塔林理工大學。

3. 2016.6.19.第一屆京津冀邏輯論壇（北京.中國社會科學院哲學研究所），特邀報告“模態邏輯的覆蓋語義學”。

4. 2016.2.15-19.應邀參見荷蘭萊頓大學洛倫茲中心Unified Correspondence國際研討會，並報告Unified correspondence and proof theory for strict implication

5. 2015.11.1.華僑大學哲學與社會發展學院,特邀報告“信念的邏輯形式”。

6. 2015.10.30.第五屆邏輯、理性與互動國際會議（台灣大學哲學系），報告Algebraic semantics for dynamic dynamic logic

7. 2015.02.27.荷蘭阿姆斯特丹大學邏輯語言與計算研究所,Algebra|Coalgebra seminar,報告 Residuated basic algebras

8. 2014.11.14.荷蘭代爾夫特理工大學邏輯研究小組報告The disjunction property of propositional logics

9. 2014.4.12-13.第二屆亞洲哲學邏輯會議，報告Lattice-graded modal logic

10. 2014.2.10-27.應邀訪問日本北陸先端科學技術大學院大學,在Kanazawa Workshop on Epistemic Logic and Its Dynamic Extensions會議作報告Duality Theory for Public Announcement Logic

11. 2013.9.16-20.第十三屆亞洲邏輯會議（中山大學）,作會議報告On Extensions of Basic Propositional Logics

12. 2013.10.10.第四屆邏輯、理性與互動國際學術會議(浙江大學),報告How to update neighborhood models

13. 2013.10.19.首屆國際信息哲學研討會(西安交通大學),會議報告“演繹、歸納與溯因——從信息哲學的觀點看”

14. 2012.4.28.第五屆兩岸邏輯教學與研究會議(重慶/西南大學),作主題報告Definability in PDL: the finite case

15. 2012.8.26.第二屆東亞邏輯、理性與互動國際學術會議暨夏季學校(重慶/西南大學)，報告 Model Theory for Graded Modal Logic

16. 2012.9.1.應邀參加北京大學哲學系百年系慶學術活動:克里普克、邏輯與哲學國際學術會議，報告 On Degrees of Epistemic Modalities

17. 2012.11-2013.1,應邀訪問日本國立北陸先端科學技術大學院大學信息科學系，期間應邀訪問日本京都大學應用哲學與應用倫理學研究所並作報告 Semantic Analysis of Belief Sentences

18. 2012.11.16.日本第47屆數理邏輯年會報告 Bull’s logics in NExt(S4)

19. 2011.10.16.第三屆全國認知科學會議(北京/清華大學),會議主題報告“基於邏輯視域的認知研究”

20. 2011.10.13.第三屆邏輯、理性與互動國際學術會議(廣州/中山大學),作會議英文全文報告 Mathematics of Public Announcements

21. 2010.12.18. SELLC 2010 Sino-European Winter School in Logic, Language and Computation 2010報告Goldblatt-Thomason Theorem for Coalgebraic Graded Modal Logic

22. 2010.3.3.荷蘭阿姆斯特大學邏輯、語言與計算研究所會議“Coalgebra Day”報告Definability in Coalgebraic Graded Modal Logic

23. 2009.6.24.北京市邏輯學會青年學者邏輯論壇報告Extending Sahlqvist Completeness Theorem

24. 2008年第八次全國邏輯大會報告“分次模態可定義性”。

25. 2006年現代邏輯研討會(燕山大學)，報告“互模擬與模態不可定義性”。 ^[1] 

1. 主持2016年國家社科基金項目“非古典命題邏輯的結構證明論研究”（16CZX049）

2. 主持國家社科基金項目“模態可定義理論研究”(12CZX054)(已結題,結項成果被鑑定為優秀等級)

3. 主持教育部人文社會科學研究項目“模態完全性理論的句法研究” (12YJC72040001)(已結題)

4. 主持重慶市人文社會科學重點研究基地項目“模態模型論研究”2011-2012(已 結題)

5. 主持重慶市人文社會科學重點研究基地項目“奎因邏輯哲學研究”2014-2017 ^[1]