Semantic theory is the branch of logic and philosophy that studies the meaning and interpretation of linguistic expressions within formal systems. It focuses on how the truth values of sentences relate to their meanings, addressing questions about how language conveys information and how this information can be represented logically. In the context of alternative logics like paraconsistent and relevance logics, semantic theories help explain how contradictions can coexist or how relevance between premises and conclusions is crucial for valid reasoning.