Axioms for tense logic I: "since" and "until (1982)

by J P Burgess
Venue:Notre Dame J Formal Logic