位置：成果数据库 > 期刊 > 期刊详情页
The Complexity and Expressive Power of Second-Order Extended Logic
  • ISSN号：1674-3202
  • 期刊名称：Studies In Logic
  • 时间：0
  • 页码：11-34
  • 相关项目：二阶逻辑的表达能力与计算复杂性
作者： Shiguang Feng|Xishun Zhao|
同期刊论文项目
二阶逻辑的表达能力与计算复杂性
期刊论文 15 会议论文 2
同项目期刊论文
Proof System for Planning under 0-Approximation Semantics
Resolution on Quantified Generalized Clause-sets
On Davis-Putnam reductions for minimally unsatis able clause-sets
Transformations into Normal Forms for QBF
On Variables with Fewer Occurrences in CNF
NP-Logic Systems and Model-Equivalence Reductions
量化单一带标公式的消解
Proof System for Planning under cautious Semantics
Complexity and expressive power of second-order Extended Horn logic
Davis-Putnam Reduction for Minimal Unsatisfiable formulas
带测试动作的动态时序逻辑扩展
基于谨慎语义的规划证明系统
二阶扩展逻辑的复杂性与表达能力
期刊信息
  • 《逻辑学研究》
  • 主管单位:中山大学
  • 主办单位:中国逻辑学会 中山大学
  • 主编：鞠实儿
  • 地址：广州新港西路135号中山大学逻辑与认知研究所
  • 邮编：510275
  • 邮箱：logicstu@mail.sysu.edu.cn
  • 电话：020-84110240
  • 国际标准刊号：ISSN：1674-3202
  • 国内统一刊号：ISSN：44-1649/C
  • 邮发代号:46-376
  • 获奖情况:
  • 中国逻辑学会2012年授予我刊"特别贡献奖"
  • 国内外数据库收录:
  • 中国国家哲学社会科学学术期刊数据库
  • 被引量:152