caa a22 4500 46577928X CHVBK 20180323111950.0 cr unu---uuuuu 170327e19900901xx s 000 0 eng 10.1007/BF00370369 doi (NATIONALLICENCE)springer-10.1007/BF00370369 Cross Charles Philosophy Department, Reed College, 97202, Portland, Oregon, USA aut Temporal necessity and the conditional [Elektronische Daten] [Charles Cross] In [12] Richmond Thomason and Anil Gupta investigate a semantics for conditional logic that combines the ideas of [8] and [9] with a branching time model of tense logic. The resulting branching time semantics for the conditional is intended to capture the logical relationship between temporal necessity and the conditional. The central principle of this logical relationship is Past Predominance, according to which past similarities and differences take priority over future similarities and differences in determining the comparative similarity of alternative possible histories with respect to a given present moment. In this paper I will use ordinary possible worlds semantics (i.e. Kripke frames) to solve the completeness problem for a system of logic that combines conditional logic with temporal necessity in the context of Past Predominance. Branching time models turn out not to be necessary for the articulation of Past Predominance, and this means that one can axiomatize Past Predominance without first having to solve a much more difficult problem: the completeness problem for the logic of temporal necessity in the context of branching time. Thomason and Gupta argue in [12] that in addition to Past Predominance, temporal necessity and the conditional are logically related, by what have become known as the Edelberg Inferences, whose apparent validity motivates the very complicated theory presented at the end of [12]. I will conclude this paper by examining how the Edelberg inferences would be incorporated into the possible worlds based system presented in the earlier sections of this paper. Polish Academy of Sciences, 1990 Studia Logica Kluwer Academic Publishers 49/3(1990-09-01), 345-363 0039-3215 49:3<345 1990 49 11225 https://doi.org/10.1007/BF00370369 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF00370369 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Cross Charles Philosophy Department, Reed College, 97202, Portland, Oregon, USA aut NATIONALLICENCE 773 0- Studia Logica Kluwer Academic Publishers 49/3(1990-09-01), 345-363 0039-3215 49:3<345 1990 49 11225 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer