Temporal Modalities in Arabic Logic | EKB DL