Partial and paraconsistent approaches to future contingents in tense logic

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

zbMATH Keywords

tense logicfuture contingentsPriorparaconsistent approachespartial approaches

Mathematics Subject Classification ID

Temporal logic (03B44) Paraconsistent logics (03B53)

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 gaps¹
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item