Switch to: References

Add citations

You must login to add citations.
  1. Three-Valued Temporal Logic Q t and Future Contingents.Seiki Akama, Yasunori Nagata & Chikatoshi Yamada - 2008 - Studia Logica 88 (2):215-231.
    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.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Partial and paraconsistent approaches to future contingents in tense logic.Seiki Akama, Tetsuya Murai & Yasuo Kudo - 2016 - Synthese 193 (11).
    The problem of future contingents is regarded as an important philosophical problem in connection with determinism and it should be treated by tense logic. Prior’s early work focused on the problem, and later Prior studied branching-time tense logic which was invented by Kripke. However, Prior’s idea to use three-valued logic for the problem seems to be still alive. In this paper, we consider partial and paraconsistent approaches to the problem of future contingents. These approaches theoretically meet Aristotle’s interpretation of future (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation