Non-finite Axiomatizability of Generalized Medvedev Logics

Han Xiao

We introduce a generalized form of Medvedev logics obtained by removing the greatest element from finite products of rooted Kripke frames with a top. We show that, before removing…