A type of truth-conditional semantics that uses formal logic to describe and analyze the meaning of sentences.