11 search results - page 1 / 3 » jancl 2007 |
JANCL
2007
13 years 4 months ago
2007
JANCL
2007
13 years 4 months ago
2007
JANCL
2007
13 years 4 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 ...
JANCL
2007
13 years 4 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 ...
JANCL
2007
13 years 4 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 ...