Bi-modal Gödel logic over [0,1]-valued Kripke frames | UPT Perpustakaan UHAMKA