机译:公理为命题量词和标识扩展的模态系统S3-S5的指称语义
Non-Fregean logic; Modal logic; Propositional identity; Propositional quantifiers; Denotational semantics; Hyperintensional semantics;
机译:公理为命题量词和标识扩展的模态系统S3-S5的指称语义
机译:使用完整的公制空间,膜系统的表示语义
机译:高阶通信系统演算的完全抽象指称语义
机译:带有公理□_Φ↔◇_Φ的命题模态逻辑与命题逻辑之间的对应关系
机译:模特量化和模态逻辑的比较
机译:大脑系统介导聋哑本位签名者的语义和句法处理:生物不变性和形态特异性
机译:模态系统s3 - s5的指称语义由公理扩展 命题量词和身份
机译:使用扩展的凹陷语义提供细化变换