Temporal necessity and the conditional (Q2640588): Difference between revisions

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.