formal_semanticsEnglish

The branch of semantics that studies the logical aspects of meaning

English: formal semantics