Sciweavers

Share
11 search results - page 1 / 3
» jancl 2007
Sort
View
JANCL
2007
107views more  JANCL 2007»
9 years 9 months ago
Distributed knowledge
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 ...
Floris Roelofsen
JANCL
2007
70views more  JANCL 2007»
9 years 9 months ago
Expressivity and completeness for public update logics via reduction axioms
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 ...
Barteld P. Kooi
JANCL
2007
102views more  JANCL 2007»
9 years 9 months ago
Communication strategies in games
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 ...
Jelle Gerbrandy
books