Three-Valued Temporal Logic Q t 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.