Remark on the Superintuitionistic Predicate Logic of Kripke Frames of Finite Height with Constant Domains: A Simpler Kripke Complete Logic That Is Not Strongly Complete.

Dmitrij P. Skvortsov

Browse the full AiML paper archive.