39 citations · 127 across the 31 of their papers we have counts for
Showing 2003Show all
3 papers · 1 filter
cs.AI2003
Characterizing and Reasoning about Probabilistic and Non-Probabilistic Expectation
Joseph Y. Halpern, Riccardo Pucella
Expectation is a central notion in probability theory. The notion of expectation also makes sense for other notions of uncertainty. We introduce a propositional logic for reasoning…
cs.AI2003
A logic for reasoning about upper probabilities
Joseph Y. Halpern, Riccardo Pucella
We present a propositional logic %which can be used to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interv…
cs.CR2003
On the Relationship between Strand Spaces and Multi-Agent Systems
Joseph Y. Halpern, Riccardo Pucella
Strand spaces are a popular framework for the analysis of security protocols. Strand spaces have some similarities to a formalism used successfully to model protocols for distribut…