Three-valued temporal logic Qt and future contingents

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 Q t and give its axiomatization and semantics. We also argue that Q t provides a smooth solution to the problem of future contingents. © 2008 Springer Science+Business Media B.V.