“都”的形式语义研究2012.4陈丽萍, 著 形式语义学研究2014.8高芸, 著 计算系统的形式语义2017.陆汝钤, 著 形式语义学引论2017.6周巢尘, 詹乃军, 著 形式语义学要素2018.8(荷) 约德·温特 (Yoad Winter) , 著 形式语义学基础与形式说明2010.屈延文, 编著 形式语义学导论2010.4(英) 卡恩, 著 形式语义学2012.9杨静, 杨华, 杨溢龙, 段国勇, 朱浩, 杨嵩, 编著 形式主义批评的终结2009.9何桂彦, 著 编程语言的形式语义学2003.(英) 温斯克尔 (Winskel,G.) , 著 形式语义学的稳定论域理论2003.12陈仪香, 著 汉语多功能语法形式的语义地图研究2014.李小凡, 等著 汉语照应省略的类型逻辑研究2014.满海霞, 著 “都”字的句法、语义和语用研究2019.11周韧, 著 深化知识表征与建模2020.顾小清, 权国龙, 著