Context modification in action
Albert Visser · Utrecht University Repository (Utrecht University) · 2003
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.