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