semantics of logic

Also known as formal semantics, logical semantics, semantics

study of the semantics, or interpretations, of formal and natural languages