Abstract
In this paper we develop the positive fragment of Context Modification
Logic. This logical system is a variant of Dynamic Predicate Logic that
employs multiple-access variables and that treats argument places in the
same way as Latin. The positive fragment is purely incremental.