• Articles • 上一篇    

The Global Properties of Valid Formulas in Modal Logic K

孙吉贵; 程晓春; 刘叙华;   

  1. Department of Computer Science; Jilin University; Changchun 130023;
  • 出版日期:1996-11-10 发布日期:1996-11-10

The Global Properties of Valid Formulas in Modal Logic K

Sun Jigui; Cheng Xiaochun; Liu Xuhua;   

  1. Department of Computer Science; Jilin University; Changchun 130023;
  • Online:1996-11-10 Published:1996-11-10

Global property is the necessary condition which must be satisfied by the provable formulas. It can help to find out some unprovable formula that does not satisfy some global property before proving it using formal automated rea-soning systems, thus the efficiency of the whole system is improved. This paper presents some global properties of valid formulas in modal logic K. Such prop-erties are structure characters of formulas, so they are simple and easy to check.At the same time, some global properties of…

关键词: extension, default reasoning, algorithm, complexity, singularity spectrum function, singularity point, truncated spectrum, regular disjunction-free default logic

Abstract: Global property is the necessary condition which must be satisfied by the provable formulas. It can help to find out some unprovable formula that does not satisfy some global property before proving it using formal automated rea-soning systems, thus the efficiency of the whole system is improved. This paper presents some global properties of valid formulas in modal logic K. Such prop-erties are structure characters of formulas, so they are simple and easy to check.At the same time, some global properties of…

Key words: regular disjunction-free default logic, extension, default reasoning, algorithm, complexity, singularity spectrum function, singularity point, truncated spectrum



[1] Thistlewaite.P.B, McRobbie.M.A, Meyer.R.K. Automated Theorem-Proving in Non-Classical Logics. Pitman, London, 1988.

[2] Liu Xuhua, Sun Jigui. The curry property of formal system L5 in relevant logic LR. Scientia Sinica (Series A), 1993, (12).

[3] Sun Jigui. Automated theorem proving based on generalized resolution & automated reasoning in non-classical logics. Ph.D. Thesis, Computer Science Department, Jilin University, Oct. 1993. ……….
[1] . 暂缺[J]. , 2009, 24(1 ): 56-64 .
[2] . 暂缺[J]. , 2009, 24(1 ): 175-180 .
[3] . 暂缺[J]. , 2008, 23(5 ): 711-718 .
[4] . 一类约束Facility Location问题的计算复杂性和近似算法[J]. , 2008, 23(5 ): 740-748 .
[5] . 暂缺[J]. , 2008, 23(5 ): 749-762 .
[6] . 一种基于链暗示技术的二分图受约束最小点覆盖近似算法[J]. , 2008, 23(5 ): 763-768 .
[7] . 软硬件划分的计算模型与算法[J]. , 2008, 23(4 ): 644-651 .
[8] . 利用H-Torus拓扑结构实现下一代可扩展路由器[J]. , 2008, 23(4 ): 684-.
[9] . 一种统一的传感器节点部署和重新部署算法[J]. , 2008, 23(3): 400-412 .
[10] . GBP-WAHSN:适用于大型无线自组织传感网络的基于群组结构的路由协议[J]. , 2008, 23(3): 461-480 .
[11] . 两个特殊的在线设备更新问题的竞争分析[J]. , 2008, 23(2): 203-213 .
[12] . 基于小波神经网络的网络安全态势定量预测方法及其优化[J]. , 2008, 23(2): 222-230 .
[13] . 基于正交方法求解连续优化问题的蚁群搜索算法[J]. , 2008, 23(1): 2-0.
[14] . 暂缺[J]. , 2008, 23(1): 19-34 .
[15] . 基于直方图模型的分布估计算法—一种求解连续优化问题的高效方法[J]. , 2008, 23(1): 35-43 .
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] 刘明业; 洪恩宇;. Some Covering Problems and Their Solutions in Automatic Logic Synthesis Systems[J]. , 1986, 1(2): 83 -92 .
[2] 陈世华;. On the Structure of (Weak) Inverses of an (Weakly) Invertible Finite Automaton[J]. , 1986, 1(3): 92 -100 .
[3] 高庆狮; 张祥; 杨树范; 陈树清;. Vector Computer 757[J]. , 1986, 1(3): 1 -14 .
[4] 陈肇雄; 高庆狮;. A Substitution Based Model for the Implementation of PROLOG——The Design and Implementation of LPROLOG[J]. , 1986, 1(4): 17 -26 .
[5] 黄河燕;. A Parallel Implementation Model of HPARLOG[J]. , 1986, 1(4): 27 -38 .
[6] 闵应骅; 韩智德;. A Built-in Test Pattern Generator[J]. , 1986, 1(4): 62 -74 .
[7] 唐同诰; 招兆铿;. Stack Method in Program Semantics[J]. , 1987, 2(1): 51 -63 .
[8] 闵应骅;. Easy Test Generation PLAs[J]. , 1987, 2(1): 72 -80 .
[9] 朱鸿;. Some Mathematical Properties of the Functional Programming Language FP[J]. , 1987, 2(3): 202 -216 .
[10] 李明慧;. CAD System of Microprogrammed Digital Systems[J]. , 1987, 2(3): 226 -235 .
版权所有 © 《计算机科学技术学报》编辑部
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn
总访问量: