Abstract
In the tradition of dynamic semantics in the style of Dynamic Predicate Logic (DPL)formulas of
standard logics are interpreted in a non-standard way, not on assignments, but on pairs of assignments.
Formulas are thus no longer viewed as sets of assignments, but as relations on assignments.