Semantics and proof theory
In classical logic, proof theories are always sound 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
If S ? ?, then S ? ?
Previous slide
Next slide
Back to first slide
View graphic version