On Prior's Three-Valued Modal Logic Q

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Seiki Akama Articles by Yasunori Nagata

35th International Symposium on Multiple-Valued Logic (ISMVL'05)

University of Calgary, Canada

May 19-May 21

ISBN: 0-7695-2336-6

	ASCII Text	x
	Seiki Akama, Yasunori Nagata, "On Prior's Three-Valued Modal Logic Q," Multiple-Valued Logic, IEEE International Symposium on, pp. 14-19, 35th International Symposium on Multiple-Valued Logic (ISMVL'05), 2005.

	BibTex	x
	@article{ 10.1109/ISMVL.2005.33, author = {Seiki Akama and Yasunori Nagata}, title = {On Prior's Three-Valued Modal Logic Q}, journal ={Multiple-Valued Logic, IEEE International Symposium on}, volume = {0}, year = {2005}, issn = {0195-623X}, pages = {14-19}, doi = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2005.33}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Multiple-Valued Logic, IEEE International Symposium on TI - On Prior's Three-Valued Modal Logic Q SN - 0195-623X SP14 EP19 A1 - Seiki Akama, A1 - Yasunori Nagata, PY - 2005 KW - null VL - 0 JA - Multiple-Valued Logic, IEEE International Symposium on ER -

Seiki Akama, Teikyo Heisei University, Japan

Yasunori Nagata, University of the Ryukyus, Japan

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISMVL.2005.33

Prior proposed a three-valued modal logic Q as a "correct" modal logic from his philosophical motivations. Unfortunately, Prior's Q and many-valued modal logic have been neglected in the tradition of many-valued and modal logic. In this paper, we introduce a version of three-valued Kripke semantics for Q, which aims to establish Prior's ideas based on possible worlds. We investigate formal properties of Q and prove the completeness theorem of Q. We also compare our approach with others.

Citation:

Seiki Akama, Yasunori Nagata, "On Prior's Three-Valued Modal Logic Q," ismvl, pp.14-19, 35th International Symposium on Multiple-Valued Logic (ISMVL'05), 2005

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.