 Example: the dialogical approach to linear logic. This is Girard’s point in distinguishing additives from multiplicatives, as they should not (as in the standard approach to modal logic) be defined through structural rules (global level) but through particle rules (local level) as two different connectives (or operators) of interaction.