It might be raining. It's not raining.
#It's not raining. It might be raining.
-## Basics
+## Two-part assignment functions
There are a lot of formal details in the paper in advance of the
empirical discussion. Here are the ones that matter for our purposes:
will have to consider an update rule for the diamond on which update
with the prejacent and its negation must both be non-empty.
-## Binding
+## Order and binding
The GSV fragment differs from the DPL and the DMG dynamic semantics in
important details. Nevertheless, it has more or less the same things
A term is an identifier per se if no mattter what the information
state is, it cannot fail to decie what the denotation of the term is.
-## Why articulate the mapping from variables to objects into two parts?
+## Why have a two-part assignment function?
In the current system, variables are associated with values in two
steps.