形式语义学 (形式語義學) xíngshì yǔyì xué

xíngshì yǔyì xué noun formal semantics
Domain: Linguistics 语言学 , Subdomain: Semantics
Notes: Involves the use of formal logic in semantics