Sciweavers

16 search results - page 1 / 4
» tark 2005
Sort
View
TARK
2005
Springer
15 years 3 months ago
Continuous consensus via common knowledge
Tal Mizrahi, Yoram Moses
TARK
2005
Springer
15 years 3 months ago
Deciding knowledge properties of security protocols
Ramaswamy Ramanujam, S. P. Suresh
TARK
2005
Springer
15 years 3 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
15 years 3 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