What people are saying - Write a review
We haven't found any reviews in the usual places.
Temporal Reference in Indicative Conditionals
A Semantics for Tense and Conditionals
8 other sections not shown
adverbial conditionals anaphoric antecedent and consequent assertion and verification atomic sentences back-shifted bimetallic strip bends Chapter conditional sentences conditional tense conjunction consequent event consequent tense constraints context corresponding counterfactual counterfactual conditionals Data Semantics defined deictic shift describe Dudman epistemic modals example false foreknowledge formulas future generalisations habitual conditionals holds ideally verifying implication indicative conditionals information growth information models interpretation intuitionistic logic John localisation minimal extension minimal information extensions modal logic modal operator modals and conditionals modus ponens non-epistemic modals occur past and present past perfect past subjunctive past tense antecedents past(A possible worlds preceding pres(p present subjunctive present tense antecedents present tense modal proof theory propositions quantifier selection function semantic definitions stative subjunctive conditionals subordinate tenses Suppose temperature rises temporal properties temporal reference tense operator treatment true universal quantifier unverified assertions utterance valuation function Veltman verb verified and unverified wide scope