Temporal modalities in arabic logic door Rescher