Yes, I think this path quickly leads to Boolean valued models or Boolean Algebras with Operators or Krike Frames or .... In other words, there are many well stu

Yes, I think this path quickly leads to Boolean valued models or Boolean Algebras with Operators or Krike Frames or .... In other words, there are many well studied, well understood ways of relating epistemology, context, uncertainty to an otherwise Boolean model.