The Work A Conjectured Axiomatization of Two-Dimensional Reichenbachian Tense Logic The details The Author Lennart Åqvist The offers