Semantics vs. proof theory
What is the difference between a semantic consequence relation and a proof-theoretic consequence relation?
My current answer:
A semantic consequence relation is defined in terms of global structures, such as worlds
Semantic consequences are approximated ‘from the outside’
A proof-theoretic consequence relation is defined in terms of local structures, such as proofs
Proof-theoretic consequences are approximated ‘from the inside’