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