Temporal interaction of information and belief
Studia Logica 86 (3):375 - 401 (2007)
| Abstract | The temporal updating of an agent’s beliefs in response to a flow of information is modeled in a simple modal logic that, for every date t, contains a normal belief operator B t and a non-normal information operator I t which is analogous to the ‘only knowing’ operator discussed in the computer science literature. Soundness and completeness of the logic are proved and the relationship between the proposed logic, the AGM theory of belief revision and the notion of plausibility is discussed. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJoshua Sack (2008). Temporal Languages for Epistemic Programs. Journal of Logic, Language and Information 17 (2).
Hans P. Van Ditmarsch (2005). Prolegomena to Dynamic Logic for Belief Revision. Synthese 147 (2):229 - 275.
Pedrito Maynard-Reid II & Yoav Shoham (2001). Belief Fusion: Aggregating Pedigreed Belief States. Journal of Logic, Language and Information 10 (2):183-209.
Pedrito Maynard-Reid & Yoav Shoham (2001). Belief Fusion: Aggregating Pedigreed Belief States. Journal of Logic, Language and Information 10 (2).
Marcelo Alejandro Falappa, Alejandro Javier García, Gabriele Kern-Isberner & Guillermo Ricardo Simari (2013). Stratified Belief Bases Revision with Argumentative Inference. Journal of Philosophical Logic 42 (1):161-193.
Giacomo Bonanno (2008). Belief Revision in a Temporal Framework. In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.
Giacomo Bonanno (2005). A Simple Modal Logic for Belief Revision. Synthese 147 (2):193 - 228.
Giacomo Bonanno (2007). Axiomatic Characterization of the AGM Theory of Belief Revision in a Temporal Logic. Artificial Intelligence 171 (2-3):144-160.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads7 ( #133,479 of 549,087 )Recent downloads (6 months)1 ( #63,317 of 549,087 )How can I increase my downloads? |
My notes
Discussion
