Investigations in modal and tense logics with applications to problems in philosophy and linguistics (1976)

by D M Gabbay