Semantics vs. proof theory
Consequence relations based on Reiter’s extensions indeed have a global, and therefore semantic flavor
Dialogically defined consequence relations indeed have a more local, and therefore proof-theoretic flavor, since a dialogue strategy shows that a particular sentence follows from the premises