DocumentCode
1968341
Title
The global properties of valid formulus in modal logic K
Author
Jigui, Sun ; Xiaochun, Cheng ; Xuhua, Liu
Author_Institution
Dept. of Comput. Sci., Jilin Univ., Changchun, China
fYear
1995
fDate
35030
Firstpage
123
Lastpage
127
Abstract
Global property is the necessary condition which must be satisfied by the provable formulus. It can help us to find out some unprovable formula that doesn´t satisfy some global property before we start proving it by any formal automated reasoning system, thus the efficiency of the whole system is improved. We present some global property of valid formulus in modal logic K. Such a property is a structure character of the formula, so it is simple and easy to check
Keywords
formal logic; inference mechanisms; theorem proving; formal automated reasoning system; global properties; modal logic K; provable formulus; unprovable formula; valid formulus; Binary trees; Computer science; Logic; Mechanical factors; Sun;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Information Systems, 1995. ANZIIS-95. Proceedings of the Third Australian and New Zealand Conference on
Conference_Location
Perth, WA
Print_ISBN
0-86422-430-3
Type
conf
DOI
10.1109/ANZIIS.1995.705726
Filename
705726
Link To Document