Temporal necessity and the conditional

From MaRDI portal





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.











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)