摘要

多主体行为句的形式语义描述目前并没有很好的答案。本文从行为的发出和接受的角度进行思考,借用C_p系统和语义解释,并对其进行了增加自由变元的扩充,为多主体行为句的语义解释和逻辑分析找到新的思路。规避了旧系统在语义描述时出现的语义混乱和矛盾,实现了对多主体行为句的形式语义初步描述。

全文