The Work Discrete Tense Logic with Infinitary Inference Rules and Systematic Frame Constants: A Hilbert-Style Axiomatization The details The Author Lennart Åqvist The offers