1 research outputs found

    On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB

    No full text
    corecore