Studia Logica

, Volume 88, Issue 2, pp 215–231

Three-Valued Temporal Logic Qt and Future Contingents


DOI: 10.1007/s11225-008-9102-0

Cite this article as:
Akama, S., Nagata, Y. & Yamada, C. Stud Logica (2008) 88: 215. doi:10.1007/s11225-008-9102-0


Prior’s three-valued modal logic Q was developed as a philosophically interesting modal logic. Thus, we should be able to modify Q as a temporal logic. Although a temporal version of Q was suggested by Prior, the subject has not been fully explored in the literature. In this paper, we develop a three-valued temporal logic Qt and give its axiomatization and semantics. We also argue that Qt provides a smooth solution to the problem of future contingents.


PriorQthree-valued temporal logic QtKripke semanticsfuture contingents

Copyright information

© Springer Science+Business Media B.V. 2008

Authors and Affiliations

  • Seiki Akama
    • 1
  • Yasunori Nagata
    • 2
  • Chikatoshi Yamada
    • 3
  1. 1.Kawasaki-shiJapan
  2. 2.Department of Electrical and Electronics EngineeringUniversity of RyukyusOkinawaJapan
  3. 3.Takushoku University Hokkaido CollegeHokkaidoJapan