11 search results - page 1 / 3 » jancl 2007 |
117
Voted
JANCL
2007
15 years 3 months ago
2007
103
Voted
JANCL
2007
15 years 3 months ago
2007
127
Voted
JANCL
2007
15 years 3 months ago
2007
ABSTRACT. This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication [HOE 99, GER 99]. It ...
142
Voted
JANCL
2007
15 years 3 months ago
2007
ABSTRACT. We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic ...
119
Voted
JANCL
2007
15 years 3 months ago
2007
In this paper, we present several extensions of epistemic logic with update operators modelling public information change. Next to the well-known public announcement operators, we ...