Tense logic and counterfactual reasoning
Temporal reasoning is intimately related to certain other kinds of reasoning. Some particularly important examples are causal, counterfactual, and diagnostic reasoning. In these kinds of reasoning we find a type of conditionals, which are crucially interwoven with temporality. (A recent Ph. D. Thesis [Crouch 1993] has shown how time and tense are in fact pervasive features of English conditionals in general.)
KeywordsCausal Model Causal Statement Diagnostic Reasoning Counterfactual Dependence Tense Logic
Unable to display preview. Download preview PDF.