Contents of Report

[Data of Report]

Report Number:: TR0637
Date of Registration:: 1991.04
English Title:: Potential of General-Reasoning Assistant System EUDOHILOS
Japanese Title:: ***
English Author:: H.Sawamura,T.Minami,K.Yokota,K.Ohashi
Japanese:: ***
Name of Organization to which author belongs:: Fujitsu,Fujitsu,Fujitsu,Fujitsu
PDF:: tr0637.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Need,significance and design Philosophy	.... 4
3	An overview of EUODHILOS	.... 5
3.1	Functional features	.... 5
3.2	Implementation	.... 12
4	Experiments and experiences with EUODHILOS	.... 12
4.1	Martin-Lof's intuitionistic type theory and a constructive proof	.... 13
4.2	Hoare logic and program verification	.... 15
4.3	Dynamic logic and reasoning about programs	.... 17
4.4	Intensional logic,reflective proof and Montague's semantics	.... 19
4.5	First-order logic(with NK)	.... 22
4.6	Second-order logic and a simple equivalece proof	.... 23
4.7	Propositional model logic (T)and modal resoning about programs	.... 23
4.8	General logics	.... 23
5	Related work	.... 24
6	Concluding remarks and further research topics	.... 25
	Acknowledgements	.... 27
	References	.... 28
	Appendix1	.... 31
	Appendix2	.... 31
	Appendix3	.... 32
	Appendix4	.... 32
	Appendix5	.... 33
	Appendix6	.... 33

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