formal semantics
تعریف انگلیسی
noun
- the branch of semantics that studies the logical aspects of meaning