Temporal necessity and the conditional (Q2640588): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q1293001 |
||
Property / reviewed by | |||
Property / reviewed by: Uwe Scheffler / rank | |||
Revision as of 00:02, 23 February 2024
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