On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB | UPT Perpustakaan UHAMKA