Sciweavers

16 search results - page 1 / 4
» tark 2005
Sort
View
TARK
2005
Springer
13 years 10 months ago
Continuous consensus via common knowledge
Tal Mizrahi, Yoram Moses
TARK
2005
Springer
13 years 10 months ago
Deciding knowledge properties of security protocols
Ramaswamy Ramanujam, S. P. Suresh
TARK
2005
Springer
13 years 10 months ago
Harsanyi type spaces with knowledge operators
In this paper, we provide a notion of structure preserving maps (i.e. knowledge-belief morphisms) between knowledge-belief spaces. Then we show that - under the condition that the...
Martin Meier
TARK
2005
Springer
13 years 10 months ago
Interactive unawareness revisited
We analyze a model of interactive unawareness introduced by Heifetz, Meier and Schipper (HMS). We consider two axiomatizations for their model, which capture different notions of ...
Joseph Y. Halpern, Leandro Chaves Rêgo