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
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;
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
DOI :
10.1109/ANZIIS.1995.705726
