While there have been many attempts, going back to BAN logic, to base
re...
We present a propositional logic to reason about the uncertainty of even...
An agent often has a number of hypotheses, and must choose among them ba...
We introduce a logic for reasoning about evidence, that essentially view...
Expectation is a central notion in probability theory. The notion of
exp...