 A concise description of this interaction in some of these proposals can be found in the first part of  Subsection 4.2  in the SEP entry on  the logic of action  written by Segerberg, Meyer, and Kracht (2016).