On Prior's Three-Valued Modal Logic Q

University of Calgary, Canada May 19-May 21

DOI Bookmark:

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

35th International Symposium on Multi ...

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

	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

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.