动态谓词逻辑实质上是利用计算机程序的状态间的关系来描述自然语言的语义,动态谓词逻辑体现了这样一个统一的观念:所有的意义都是状态之间的关系,"意义就是潜在的语境更新"。动态谓词逻辑的改进与扩张有四种主要方式。从动态谓词逻辑向动态蒙太格语法发展有两种思路历程。动态语义学的基本理念是:在动态语义学中,意义被看作是模型中的状态变元之间的关系。