Contents of Report

[Data of Report]

Report Number:: TR0880
Date of Registration:: 1994.07
English Title:: On the Semantic of a Shared Common Knowledge Distributed Logic System
Japanese Title:: ***
English Author:: W.Xianchang,Y.Li-Yan,Y.Jia-Huai
Japanese:: ***,***,***
Name of Organization to which author belongs:: ICOT,Univ.of Alberta,Univ.of Alberta
PDF:: tr0880.pdf

	Abstract	.... 3
1	Introduction	.... 3
2	W System	.... 7
3	Model Theory;W-Kripke Structure	.... 13
4	W's Soundness	.... 17
5	W's Completeness	.... 18
6	Conclusion	.... 22
	Acknowledgements	.... 22
	References	.... 22
	End	.... 24

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