Alternating-time temporal dynamic epistemic logic | UPT Perpustakaan UHAMKA