formal semantics

详细解释:【计】 形式语义

英语解释：

名词 formal semantics:

the branch of semantics that studies the logical aspects of meaning