動的意味論
更新意味論(こうしんいみろん)は、フランク・ヴェルトマンによって開発された動的意味論の枠組みである。更新意味論において、各々の式 φ {\displaystyle \varphi } は談話文脈を受け取って談話文脈を返す関数 [ φ ] {\displaystyle [\varphi ]} へと写像される。したがって、 C {\displaystyle C} が文脈であるならば、 C [ φ ] {\displaystyle C[\varphi ]} は C {\displaystyle C} を φ {\displaystyle \varphi } で更新することによって得られる文脈である。更新意味論のシステムには様々なものがあり、それらは、文脈の定義の仕方と式に割り当てる意味論的実体とについて異なっている。最も単純な更新システムは共通部分的(intersective)なシステムであり、それは単に静的システムを動的枠組みへと作り変えただけのものである。しかし更新意味論には、静的枠組みで定義しうるものに比べてより表現力のあるシステムがある。とりわけ更新意味論は、情報依存的(information sensitive)な意味論的実体を可能にする。そこでは、ある式で更新されることによってもたらされる情報が、文脈においてすでに存在する情報に依存しうる。この性質により、更新意味論は、前提、様相、条件法などに対して幅広く応用されることになった。