Skip to main content Accessibility help
×
Home

ARROW UPDATE LOGIC

  • BARTELD KOOI (a1) and BRYAN RENNE (a1)

Abstract

We present Arrow Update Logic, a theory of epistemic access elimination that can be used to reason about multi-agent belief change. While the belief-changing “arrow updates” of Arrow Update Logic can be transformed into equivalent belief-changing “action models” from the popular Dynamic Epistemic Logic approach, we prove that arrow updates are sometimes exponentially more succinct than action models. Further, since many examples of belief change are naturally thought of from Arrow Update Logic’s perspective of eliminating access to epistemic possibilities, Arrow Update Logic is a valuable addition to the repertoire of logics of information change. In addition to proving basic results about Arrow Update Logic, we introduce a new notion of common knowledge that generalizes both ordinary common knowledge and the “relativized” common knowledge familiar from the Dynamic Epistemic Logic literature.

Copyright

Corresponding author

*FACULTY OF PHILOSOPHY, UNIVERSITY OF GRONINGEN, OUDE BOTERINGESTRAAT 52, 9712 GL GRONINGEN, THE NETHERLANDS. E-mail: b.p.Kooi@rug.nl
FACULTY OF PHILOSOPHY, UNIVERSITY OF GRONINGEN, OUDE BOTERINGESTRAAT 52, 9712 GL GRONINGEN, THE NETHERLANDS. E-mail: bryan@renne.org

References

Hide All
Aucher, G., Balbiani, P., Fariñas del Cerro, L., & Herzig, A. (2009). Global and local graph modifiers. Electronic Notes in Theoretical Computer Science, 231, 293307.
Baltag, A., & Moss, L. S. (2004). Logics for epistemic programs. Synthese, 139(2), 165224.
Baltag, A., Moss, L. S., & Solecki, S. (1998). The logic of public announcements, common knowledge, and private suspicions. In Gilboa, I., editor. Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK VII). Evanston, IL, pp. 4356.
Baltag, A., Moss, L. S., & Solecki, S. (2005). Logics for epistemic actions: Completeness, decidability, expressivity. Manuscript.
Baltag, A., & Smets, S. (2007). A qualitative theory of dynamic interactive belief revision. In Bonanno, G., van der Hoek, W., and Wooldridge, M., editors. Selected Papers from LOFT’06, Texts in Logic and Games. Amsterdam: Amsterdam University Press.
Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal Logic. Cambridge University Press.
Clark, M. (2007). Paradoxes from A to Z (second edition). London: Routledge.
Fagin, R., Halpern, J. Y., Moses, Y., & Vardi, M. Y. (1995). Reasoning about Knowledge. Cambridge: The MIT Press.
Gerbrandy, J. (1999). Bisimulations on planet Kripke. PhD Thesis, University of Amsterdam. ILLC Dissertation Series DS-1999-01.
Gerbrandy, J. (2007). The surprise examination in dynamic epistemic logic. Synthese, 155(1), 2133.
Gerbrandy, J., & Groeneveld, W. (1997). Reasoning about information change. Journal of Logic, Language and Information, 6(2), 147169.
Kooi, B., & Renne, B. (2011). Generalized arrow update logic. In Apt, K. R., editor. Proceedings of the 13th Conference of Theoretical Aspects of Rationality and Knowledge (TARK XIII). Groningen, The Netherlands: ACM, pp. 205211.
Kooi, B., & van Benthem, J. (2004). Reduction axioms for epistemic actions. In Schmidt, R., Pratt-Hartmann, I., Reynolds, M., and Wansing, H., editors. AiML-2004: Advances in Modal Logic (Preliminary Proceedings). Manchester, UK, pp. 197211.
Lutz, C. (2006). Complexity and succinctness of public announcement logic. In Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-06). Hakodate, Japan: Association for Computing Machinery (ACM), pp. 137144.
Plaza, J. (1989). Logics of public communications. In Emrich, M. L., Pfeifer, M. S., Hadzikadic, M., and Ras, Z. W., editors, Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems (ISMIS 1989): Poster Session Program. Charlotte, NC: Oak Ridge National Laboratory ORNL/DSRD-24, pp. 201216.
Plaza, J. (2007). Logics of public communications. Synthese, 158(2), 165179.
Renardel de Lavalette, G. R. (2004). Changing modalities. Journal of Logic and Computation, 14(2), 215249.
Renne, B. (2008). Public and private communication are different: Results on relative expressivity. Synthese, 165(2), 225245.
Renne, B., Sack, J., & Yap, A. (2009). Dynamic epistemic temporal logic. In He, X., Horty, J., & Pacuit, E., editors. Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8–11, 2009, Proceedings, Volume 5834/2009 of Lecture Notes in Computer Science. Berlin/Heidelberg, Germany: Springer, pp. 263277.
Renne, B., Sack, J., & Yap, A. (2010). Dynamic epistemic temporal logic. Extended Manuscript.
Steiner, D. (2006). A system for consistency preserving belief change. In Artemov, S., and Parikh, R., editors. Proceedings of the Workshop on Rationality and Knowledge, 18th European Summer School in Logic, Language, and Information (ESSLLI). Málaga, Spain, pp. 133144.
van Benthem, J. (2004). Dynamic logic for belief revision. Journal of Applied Non-Classical Logics, 14(2), 129155.
van Benthem, J. (2005). An essay on sabotage and obstruction. In Hutter, D., editor. Mechanizing Mathematical Reasoning, Essays in Honor of Jörg Siekmann on the Occasion of his 69th Birthday. Cambridge, Massachusetts: Springer. pp. 268276.
van Benthem, J., van Eijck, J., & Kooi, B. (2006). Logics of communication and change. Information and Computation, 204(11), 16201662.
van Ditmarsch, H. (2000). Knowledge games. PhD Thesis, University of Groningen. ILLC Dissertation Series DS-2000-06.
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic Epistemic Logic, Vol. 337 of Synthese Library. Dordrecht, The Netherlands: Springer.
van Ditmarsch, H., van Eijck, J., Sietsma, F., & Wang, Y. (2010). On the logic of lying. Manuscript.
van Eijck, J., Ruan, J., & Sadzik, T. (2008). Action emulation. Manuscript.

ARROW UPDATE LOGIC

  • BARTELD KOOI (a1) and BRYAN RENNE (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.