Investigations in modal and tense logics with applications to problems in philosophy and linguistics - Gabbay, Dov M., 1945- (Synthese library, 1976)