Books on Amazon
Not/Prior: not is a truth-functional adverb - possible: non-extensional adverb - everyone/anyone/possible/context: E.g. "The morning star has not been held for the morning star." - Solution: adverb: "allegedly" (Something that the only morning star is (apparently not (the morning star))). - (Brackets!).
Objects of thought Oxford 1971
Arthur N. Prior
Papers on Time and Tense 2nd Edition Oxford 2003