Investigations in model and tense logics with applications to problems in philosophy and linguistics. - Gabby Dov M (Boston D Reidel Publishing, 1976)