Kripke Models, Distributive Lattices, and Medvedev Degrees.

Sebastiaan Terwijn

Published in: CiE (2005)

Keyphrases

distributive lattices
kripke models
boolean algebra
modal logic
belief functions
general theory
epistemic logic
mathematical theory
situation calculus