Prompt Alternating-Time Epistemic Logics

Open in new window