Temporal modalities in arabic logic by Rescher