Semantics and proof theory
Ideally, a proof theory is also complete with respect to the semantics:
any sentence ? that can be proven from a set of sentences S, is true in all worlds in which all sentences in S are true
It is well-known that there are classical semantics without a complete proof theory