Temporal necessity and the conditional (Q2640588): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Uwe Scheffler / rank | |||
Property / reviewed by | |||
Property / reviewed by: Uwe Scheffler / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4405129 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Handbook of philosophical logic. Volume II: Extensions of classical logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3962740 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A semantic analysis of conditional logic1 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Indeterminist time and truth‐value gaps<sup>1</sup> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4342095 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 14:33, 21 June 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