Contents of Report

[Data of Report]

Report Number:: TM0235
Date of Registration:: 1986.10
English Title:: A Form of Conjectural Reasoning on Equivalence Asription;Preliminary Roport
Japanese Title:: ***
English Author:: J.Arima
Japanese:: ***
Name of Organization to which author belongs:: ICOT
PDF:: tm0235.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Ascription Schema	.... 3
3	Model theory of ascription	.... 5
4	On satisfiability of ascription	.... 5
5	What reasoning can ascription fomalize?	.... 6
6	Conclusion and Remarks	.... 10
	Acknowledgements	.... 11
	References	.... 11

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