Temporal Modalities in Arabic Logic