This is a preview. Log in through your library . Abstract We consider a formal language whose logical syntax involves both modal and tense propositional operators, as well as sortal quantifiers, ...