Sciweavers

4 search results - page 1 / 1
» Public Announcements and Belief Expansion
Sort
View
AIML
2004
13 years 5 months ago
Public Announcements and Belief Expansion
In this paper we study the relation between two approaches to information change: Dynamic Epistemic Logic and Belief Revision. One of the main differences between these approaches...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
CORR
2007
Springer
96views Education» more  CORR 2007»
13 years 4 months ago
Common Beliefs and Public Announcements in Strategic Games with Arbitrary Strategy Sets
We provide an epistemic analysis of arbitrary strategic games based on possibility correspondences. Such an analysis calls for the use of transfinite iterations of the correspond...
Krzysztof R. Apt, Jonathan A. Zvesper
ENTCS
2006
181views more  ENTCS 2006»
13 years 4 months ago
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
Alexandru Baltag, Sonja Smets
JOLLI
2008
145views more  JOLLI 2008»
13 years 4 months ago
Temporal Languages for Epistemic Programs
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
Joshua Sack