A logic for reasoning about ambiguity | Read Paper on Bytez