退出
我的积分:
中文文献批量获取
外文文献批量获取
罗翊重;
云南省社会科学院,哲学研究所,云南,昆明,650034;
量词; 认知模态词; 行为模态词; 结构; 逻辑否定;
机译:古典否定扩展Belnap-Dunn逻辑的模态和直觉变种
机译:强否定态的法向模态子结构逻辑
机译:SIMT中的模态和否定在语义告知句法MT中使用模态和否定
机译:否定否定逻辑及其模态同伴的研究
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:断言合取否定和均等的逻辑运算的数学假设
机译:主题的逻辑否定和逻辑主题的逻辑否定和逻辑
机译:在广义量词理论,模态逻辑和知识表示中计算对象
机译:广义跨模态参与任务的学习表示
机译:振动管过程参数传感器的广义模态空间驱动控制系统
机译:广义安全性草图的多模态认证和密钥生成方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。