On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB
We construct a finite extension of T(2) = KTB circle plus square(2)p ->square(3)p which is Kripke incomplete.
modal logic kripke frame kripke completeness general frame