1.Previous
3.Next

takes and returns a discourse context. Thus, if is a context, then is the context one gets by updating with . Systems of update semantics vary both in how they define a context and in the semantic entries they assign to formulas. The simplest update systems are intersective ones, which simply lift static systems into the dynamic framework. However, update semantics includes systems more expressive than what can be defined in the static framework. In particular, it allows information sensitive semantic entries, in which the information contributed

1.Previous
3.Next