Intuitionistic tense and modal logic (1986)

by W B EWALD
Venue:The Journal of Symbolic Logic