Kripke Models, Distributive Lattices, and Medvedev Degrees

Sebastiaan Terwijn. Kripke Models, Distributive Lattices, and Medvedev Degrees. Studia Logica, 85(3):319-332, 2007. [doi]

Abstract

Abstract is missing.