Burgess_Basic_Tense_Logic.pdf