Kripke Models, Distributive Lattices, and Medvedev Degrees.

Sebastiaan Terwijn

Published in: Stud Logica (2007)

Keyphrases

distributive lattices
kripke models
boolean algebra
modal logic
general theory
belief functions
epistemic logic
mathematical theory
dempster shafer
artificial intelligence