簡介
主要研究興趣為圖式邏輯、模態邏輯、證明複雜性理論以及Ramsey哲學等。
專著
《數理邏輯》，中國社會科學院研究生院重點教材系列，張清宇/主編，中國社會科學出版社，2010年2月；
《圖式邏輯》，中國社會科學出版社，2012年6月；
《謝弗函式研究》，暨南大學出版社，2011年6月；
譯文
《模態對應理論》（邏輯之門——約翰·範本特姆經典著作 卷III），〔荷〕約翰·範本特姆/著，張清宇、劉新文/譯，科學出版社，2010年；
《邏輯、語言和認知》（邏輯之門——約翰·範本特姆經典著作 卷II），〔荷〕約翰·範本特姆/著，劉新文、郭美雲/等譯，科學出版社，2009年；
《兩個格式塔中的模態邏輯》《安保、界限和廣義語義學》《動態箭號邏輯筆記》，〔荷〕約翰·範本特姆，載《邏輯、信息和互動》（邏輯之門——約翰·範本特姆經典著作卷I），劉奮榮、余俊偉/等譯，科學出版社，2008年；
《模態邏輯》，〔紐西蘭〕M·J·克雷斯韋爾，載《布萊克韋爾哲學指導叢書》之《哲學邏輯》〔美〕羅·格勃爾/主編，張清宇、陳慕澤/等譯，第7章，中國人民大學出版社，2008年。
《非良基集》，〔英〕P·阿克采爾著，譯稿，2006年。
