Temporal necessity and the conditional (Q2640588)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4187769
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Temporal necessity and the conditional |
scientific article; zbMATH DE number 4187769 |
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
0.7500234842300415
0 references
0.7485703825950623
0 references
0.7448695302009583
0 references
