Non-axiomatizability for the linear temporal logic of knowledge with concrete observability | UPT Perpustakaan UHAMKA