Kripke Models, Distributive Lattices, and Medvedev Degrees.

Sebastiaan Terwijn Kripke Models, Distributive Lattices, and Medvedev Degrees. 486-494 2005 conf/cie/2005 CiE http://dx.doi.org/10.1007/11494645_60 db/conf/cie/cie2005.html#Terwijn05