Partial and paraconsistent approaches to future contingents in tense logic
From MaRDI portal
Publication:516419
DOI10.1007/s11229-015-0905-zzbMath1396.03023OpenAlexW2174919359MaRDI QIDQ516419
Yasuo Kudo, Seiki Akama, Tetsuya Murai
Publication date: 14 March 2017
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-015-0905-z
Cites Work
- Branching time, indeterminism and tense logic. Unveiling the Prior-Kipke letters
- To be and not to be: Dialectical tense logic
- Tense logic
- Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
- Three-valued temporal logic \(Q_t\) and future contingents
- On the theory of inconsistent formal systems
- Uncertainty in Future: A Paraconsistent Approach
- Hybrid languages and temporal logic
- Semantic analysis of tense logics
- Indeterminist time and truth‐value gaps1
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item