The Logics of Individual Medvedev Frames

Zhicheng Chen, Yifeng Ding

Let $n$-Medvedev's logic ${\mathbf{ML}}_n$ be the intuitionistic logic of Medvedev frames based on the non-empty subsets of a set of size $n$, which we call $n$-Medvedev frames. Whil…