A tableau for general linear temporal logic | UPT Perpustakaan UHAMKA