Temporal necessity and the conditional
In standard possible worlds semantics for conditional logic a similarity- relation between worlds is used to express truth conditions for conditionals. A reasonable explication for comparative world similarity is the principle of Past Predominance: past similarities and differences take priority over future similarities and differences. Here Past Predominance is expressed without using branching time models. This approach allows to solve the completeness problem for a logic of temporal necessity and to incorporate Edelberg inferences into the proposed system.
- A semantic analysis of conditional logic1
- Handbook of philosophical logic. Volume II: Extensions of classical logic
- scientific article; zbMATH DE number 3784593 (Why is no real title available?)
- scientific article; zbMATH DE number 1028832 (Why is no real title available?)
- scientific article; zbMATH DE number 3437108 (Why is no real title available?)
- Indeterminist time and truth‐value gaps1
This page was built for publication: Temporal necessity and the conditional
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2640588)