Temporal necessity and the conditional (Q2640588)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Temporal necessity and the conditional |
scientific article |
Statements
Temporal necessity and the conditional (English)
0 references
1990
0 references
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.
0 references
modal logic
0 references
possible worlds semantics
0 references
conditional logic
0 references
comparative world similarity
0 references
Past Predominance
0 references
logic of temporal necessity
0 references
Edelberg inferences
0 references