Title: Temporal modalities in Arabic logic