Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics