《动态意义理论》介绍了四种动态意义理论：文档变换语义学、话语表达理论、情景语义学和动态谓词逻辑。它们在语义学的发展史上具有标志性的意义，是形式语义学发展过程中的一道分水岭。之前的逻辑语义学称为传统逻辑语义学，因其对句子语义的分析是静态的，又可称为静态逻辑语义学。动态语义学对句子语义的分析从算法角度展现了从英语语句的句法形式到语义表现的过程，刻画了语义分析的递增性及其形式推演系统。正是动态的分析方法使其成功地解决了句子序列中代词和名词的指代照应关系、蒙太古语法对摹状词处理的困境以及先设、焦点、省略等问题。