The BV-Logic of Spacetime Interventions

I will give a general method for producing a process theory of local spacetime events and higher-order transformations from any base process theory of first-order maps. This process theory models events as intervention-context pairs, uniting the local actions by agents with the structure of the spacetime around them. I will show how this theory is richer than a standard process theory by permitting additional ways of composing agents beyond the usual tensor product, thereby capturing various strengths of possible spatio-temporal correlations. I will also explain the connection between these compositions and the logic "system BV".