Paper:
Language: English:
Journal ref: Journal of Advanced Computational Intelligence and Intelligent Informatics, Vol.11, No.1 pp. 105-110, 2007
[1] S. Akama, “A proof method for the six-valued logic for incomplete information,” Proc. of ISMVL’97, pp. 223-226, 1997.
[2] S. Akama and Y. Nagata, “On Prior’s three-valued modal logic,” Proc. of ISMVL’2005, pp. 14-19, 2005.
[3] R. A. Bull, “An axiomatization of Prior’s modal calculus Q,” Notre Dame Journal of Formal Logic, 5, pp. 211-214, 1964.
[4] F. Correia, “Adequacy results from some Priorean modal logic,” Notre Dame Journal of Formal Logic, 40, pp. 236-249, 1999.
[5] M. Fitting, “Many-valued modal logics,” Fundamenta Informatica, 15, pp. 235-254, 1992.
[6] O. Garcia and M. Moussavi, “A six-valued logic for representing incomplete information,” Proc. of ISMVL’90, pp. 110-114, 1990.
[7] G. Hughes and M. J. Cresswell, “An Introduction to Modal Logic,” Methuen, London, 1968.
[8] A. N. Prior, “Time and Modality,” Clarendon Press, Oxford, 1957.
[9] A. N. Prior, “Past, Present and Future,” Clarendon Press, Oxford, 1967.
[10] A. N. Prior and K. Fine, “Worlds, Times and Selves,” Duckworth, London, 1977.
[11] K. Segerberg, “Some modal logics based on a three-valued logic,” Theoria, 33, pp. 53-71, 1967.
[Notice]
* "Preview" is the first 2 pages of the article. You don't need the registration.
* To read the PDF file you will then need to download and install the Adobe Reader.
Adobe Reader is free and available for download here: