1.Previous
3.Next

For instance, if we take classical propositional semantics as our starting point, this recipe delivers the following intersective update semantics.

* Intersective update semantics based on classical propositional logic:
#
#
#
#

The notion of intersectivity can be decomposed into the two properties known as eliminativity and distributivity. Eliminativity says that an update can only ever remove worlds from the context--it can't add them. Distributivity says that updating with is equivalent to

1.Previous
3.Next