ليست عنوان گزارش mobile properties and temporal logic multiple promotions in 2