Intuitionistic tense and modal logic (1986)

by W B Ewald
Venue:Journal of Symbolic Logic