Tableau Reasoning Method with an Improved γ Formulae;

n this paper we discuss the theory of automated reasoning on the regularmodal logic S_4 and present the tableau system TS_4 of the regular system S4 and show itssoundness and completeness.

Based on tableau method, we present a feasible algorithm to check the consistency of KB, to extend, subtract, and change KB.

An approach to searching for new circuit by topological deduction based on graph theory is established.

On this premis, therefore, the author analyzes the rhetorical strategies in the context of particular occasion of speech, in order to investigate how the Athenian politicians\' performance of speeches affected the populace\'s political cognition.

The significance and the value of the practice teaching of music performance major;

The Performance of Manasqi and the Dramatic Feature of Epic Manas;

Get rid of the false and keep the true, Convey the spirit through the authentic writing ——Explore a certain amount of questions on the folk music performance;

There exist four performing levels of movie performers: totally passive performing, basic performing, per-forming on the basis of understanding and creative and interactive performing.

Rhythm is a pixie in the performing arts and an important means of the expressive force of arts.

The rhetorical devices employed by Lu Xun in his works,such as copying,portraying,performing and protruding mainly account for his style characterized by humor and satire.