Contents of Report

[Data of Report]

Report Number:: TR0881
Date of Registration:: 1994.07
English Title:: Relationship Between Multi-agent Logic Systems W and Weak S5 Systems
Japanese Title:: ***
English Author:: W.Xianchang
Japanese:: ***
Name of Organization to which author belongs:: ICOT
PDF:: tr0881.pdf

	Abstract	.... 3
1	Introduction	.... 3
2	Logic W and its Main Properties	.... 5
3	Multi-agent Weak S5 Systems	.... 8
4	Relationship between KD4 and W	.... 10
5	Relationship between W and S4	.... 11
6	Conclusion	.... 14
	Acknowledgements	.... 14
	References	.... 14
	End	.... 16

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