Semantic Theory of Truth

Not sure what this is about. Tarski Semantics? CS348.