Prompt Alternating-Time Epistemic Logics