Investigations modal tense logics etc by Gabbay