Contents of Report

[Data of Report]

Report Number:: TR0874
Date of Registration:: 1994.04
English Title:: Bottom-Up Modal Theorem Provers based on Modal Clause Transformation
Japanese Title:: ***
English Author:: J.Akahani,K.Inoue,R.Hasegawa
Japanese:: ***,***,***
Name of Organization to which author belongs:: NTT,Toyohashi Univ,ICOT
PDF:: tr0874.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Modal Tableaux on MGTP	.... 4
2.1	Propositional Madal Logic	.... 4
2.2	MGTP	.... 5
2.3	Modal Propositional Tableaux on MGTP	.... 6
3	Modal Clause Transformationa Method	.... 7
3.1	Modal Clause	.... 7
3.2	Basic Transformation	.... 8
4	NHM Modal Clause Transformation Method	.... 12
5	Results of Experiments	.... 16
6	Concluding Remarks	.... 18
	Acknowledgments	.... 19
	References	.... 19
	End	.... 20

目次をクリックすると、PDFファイルが表示されます。