逻辑学研究杂志CSSCI南大期刊

逻辑学研究 2009年第04期杂志 文档列表

一个用于表达因果关系的ATL的扩展第1-15页

关键词: 因果关系；  时态逻辑；  计算复杂性；  检测技术；  博弈结构；  设计目标；  ctl；  系统；  

因果推理中的亚决定性第16-47页

关键词: 因果推理；  决定性；  数理统计；  科学哲学；  不可能性；  标准；  概念；  知识论；  

汉语语用标记语与规约含义第48-74页

关键词: 语用标记语；  规约含义；  现代汉语；  语境影响；  自然语言；  语义特征；  相互作用；  使用场合；  

模态逻辑典范框架的生成子框架第75-81页

关键词: 模态逻辑；  典范框架；  生成子框架；  有穷宽框架；  有界宽框架；  

论模态逻辑的集合论语义第82-96页

关键词: 非良基集合；  模态逻辑；  集合运算；  模态可定义性；  

塔斯基：语义性真理论与符合论第97-113页

关键词: 塔斯基；  语义性真理论；  符合论；  满足；  递归定义；  

第八届逻辑与认知国际会议报道第114-119页

关键词: 国际研讨会；  大学逻辑；  会议报道；  澳大利亚墨尔本大学；  逻辑学家；  哲学逻辑；  中国香港；  亚太地区；  

“纪念中国逻辑学会成立30周年大会”记略第120-124页

关键词: 中国逻辑；  学会；  纪念；  成人教育学院；  逻辑学研究；  公共管理学院；  绵阳师范学院；  西南财经大学；