The donkey and the monoid. Dynamic semantics with control elements (Q5960010)

The author introduces some variants of the dynamic predicate logic (DPL). In Section 2, the author specifies what he means by a variant of DPL and details the used tools: e-monoids, dynamic relation algebras, signatures and models. In Section 3, the author develops his first variant of DPL by adding a polarity switcher. The switcher just changes the streams to which the local contributions are added. Some paraphrases about a farmer and his donkey (!!!) illustrate both the flexibility and the rigidity of this variant. A systematic use of monoids allows to programme the interaction of meanings.