形式意味論
談話構造という中間的な表示を与え、文が入力されるごとにその内容が書き換えられていくとする理論で、文を越えた代名詞の照応などを扱うのに適している。認知言語学に属するとされるメンタルスペース理論とも近い関係にある。カンプによる。