Tense Logic

activity analysis approach argument assume assumption atomic axiom believe building a house causal claim common complete concept condition consider consistent construction contexts course define definition described discussion English equivalent event example exists expressed extension fact formal formula framework future give given holds identifiable identity implies individual interval intuitively involvement John Jones Kamp language least leaving Lemma Linguistics means modal moment moments Montague natural kind necessary necessity objection operators past performance philosophical possible predicate present principle Priorean problem Proof proper name proposition quantifiers question reading refer regard require respect restricted result seems semantics sense sentence simple sortal stage structure t₁ taken taking place temporal tense logic tense-logical theorem theory thesis things tion true truth University valid variables verb phrases walk yesterday