Tense logic by MacArthur