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.
Similar content being viewed by others
References
Alchourrón C., Gärdenfors P., Makinson D. (1985). ‘On the logic of theory change: partial meet contraction and revision functions’. The Journal of Symbolic Logic 50: 510–530
Battigalli P. (1996). ‘Strategic independence and perfect Bayesian equilibria’. Journal of Economic Theory 70: 201–234
Blackburn, P., M. de Rijke and Y. Venema, Modal logic, Cambridge University Press, 2001.
Board O. (2004). ‘Dynamic interactive epistemology’. Games and Economic Behavior 49: 49–80
Bonanno G. (1993). ‘Rational belief equilibria’. Economic Notes 22: 430–463
Bonanno, G., ‘A simple modal logic for belief revision’, Synthese (and Knowledge, Rationality and Action) 147: 193–228, 2005. Reprinted in W. van der Hoek (ed.), Uncertainty, rationality and agency, Springer, 2006, pp. 139–174.
Bonanno, G., ‘Belief revision in a branching-time temporal framework’, Working Paper, University of California, Davis, 2006.
Chellas, B., Modal logic: an introduction, Cambridge University Press, 1984.
Friedman N., Halpern J. (1999). ‘Belief revision: a critique’. Journal of Logic, Language, and Information 8: 401–420
Fudenberg D., Tirole J. (1991). ‘Perfect Bayesian equilibrium and sequential equilibrium’. Journal of Economic Theory 53: 236–260
Gärdenfors, P., Knowledge in flux: modeling the dynamics of epistemic states, MIT Press, 1988.
Goranko V., Passy S. (1992). ‘Using the universal modality: gains and questions’. Journal of Logic and Computation 2: 5–30
Grove A. (1988). ‘Two modellings for theory change’. Journal of Philosophical Logic 17: 157–170
Hintikka, J., Knowledge and belief, Cornell University Press, 1962.
Katsuno, H., and A. O. Mendelzon, ‘On the difference between updating a knowledge and revising it’, in P. Gärdenfors (ed.), Belief Revision, Vol. 29 in Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1992, pp. 83–203.
Kreps, D., and R. Wilson, ‘Sequential equilibria’, Econometrica 50: 863–894.
Kripke S. (1963). ‘A semantical analysis of modal logic I: normal propositional calculi’. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 9: 67–96
Levesque H.J. (1990). ‘All I know: a study in autoepistemic logic’. Artificial Intelligence 5: 263–309
Nayak A., Pagnucco M., Peppas P. (2003). ‘Dynamic belief revision operators’. Artificial Intelligence 146: 193–228
Author information
Authors and Affiliations
Corresponding author
Additional information
A first draft of this paper was presented at the Workshop on Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy and Economics, Dagstuhl (Germany), August 2005.
Special Issue Formal Epistemology II. Edited by Branden Fitelson
Rights and permissions
About this article
Cite this article
Bonanno, G. Temporal Interaction of Information and Belief. Stud Logica 86, 375–401 (2007). https://doi.org/10.1007/s11225-007-9066-5
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-007-9066-5