Dynamic logics of knowledge and access. (English) Zbl 1231.03015
Summary: A recurring issue in any formal model representing agents’ (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the available inference steps, possible observations and available messages. This may be because the agents are not logically omniscient and so do not have unlimited reasoning ability. But it can also be because the agents are following a predefined protocol that explicitly limits statements available for observation and/or communication. Within the broad literature on epistemic logic, there are a variety of accounts that make precise a notion of an agent’s “limited access” (for example, awareness logics, justification logics, and inference logics). This paper interprets the agents’ access set of formulas as a constraint on the agents’ information gathering process limiting which formulas can be observed.
MSC:
| 03B42 | Logics of knowledge and belief (including belief change) |
References:
| [1] | Ågotnes T., Alechina N. (2007) The dynamics of syntactic knowledge. Journal of Logic and Computation 17(1): 83–116 · Zbl 1118.03008 · doi:10.1093/logcom/exl019 |
| [2] | Artemov S. (2001) Explicit provability and constructive semantics. Bulletin for Symbolic Logic 7(1): 1–36 · Zbl 0980.03059 · doi:10.2307/2687821 |
| [3] | Artemov S., Nogina E. (2005) Introducing justification into epistemic logic. Journal of Logic and Computation 15(6): 1059–1073 · Zbl 1088.03015 · doi:10.1093/logcom/exi053 |
| [4] | Balbiani, P., van Ditmarsch, H., & Seban, P. (forthcoming). Reasoning about permitted announcements. Journal of Philosophical Logic. · Zbl 1241.03017 |
| [5] | Baltag, A., Moss, L., & Solecki, S. (1998). The logic of common knowledge, public announcements and private suspicions. In I. Gilboa (ed.), Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK 98). (pp. 43–56). · Zbl 1386.03019 |
| [6] | Blackburn P., de Rijke M., Venema Y. (2002) Modal logic. Cambridge University Press, Cambridge · Zbl 0988.03006 |
| [7] | Eberle R. (1974) A logic of believing, knowing and inferring. Synthese 26: 356–382 · Zbl 0285.02026 · doi:10.1007/BF00883100 |
| [8] | Fagin R., Halpern J. (1988) Belief, awareness and limited reasoning. Artificial Intelligence 34: 39–76 · Zbl 0634.03013 · doi:10.1016/0004-3702(87)90003-8 |
| [9] | Fagin R., Halpern J., Moses Y., Vardi M. (1995) Reasoning about knowledge. The MIT Press, Boston · Zbl 0839.68095 |
| [10] | Fitting M. (2005) The logic of proofs, semantically. Annals of Pure and Applied Logic 132: 1–25 · Zbl 1066.03059 · doi:10.1016/j.apal.2004.04.009 |
| [11] | Gerbrandy, J. (1999). Bisimulations on Planet Kripke. Ph.D. thesis, Institute for Logic, Language and Computation (DS-1999-01). |
| [12] | Halpern J. (2001) Alternative semantics for unawareness. Games and Economic Behavior 37: 321–339 · Zbl 1001.03015 · doi:10.1006/game.2000.0832 |
| [13] | Halpern, J., & Rego, L. (2005). Interactive unawareness revisited. In Proceedings of theoretical aspects of rationality and knowledge (TARK’05). |
| [14] | Halpern, J., & Rego, L. (2009). Reasoning about knowledge of Unawareness Revisited. In A. Heifetz (ed.), Proceedings of theoretical aspects of rationality and knowledge (TARK’09). · Zbl 1189.03023 |
| [15] | Hill B. (2010) Awareness dynamics. Journal of Philosophical Logic 39(2): 113–137 · Zbl 1198.03025 · doi:10.1007/s10992-009-9110-1 |
| [16] | Hodkinson I., Reynolds M. (2006) Temporal logic. In: Blackburn P., van Benthem J., Wolter F. (eds) Handbook of modal logic, vol. 3 of studies in logic. Elsevier, Amsterdam, pp 655–720 |
| [17] | Hoshi, T. (2009). Epistemic dynamics and protocol information. Ph.D. thesis, Stanford University. · Zbl 1243.12002 |
| [18] | Hoshi T., Yap A. (2009) Dynamic epistemic logic with branching temporal structures. Synthese: Knowledge, Rationality, and Action 169(2): 259–281 · Zbl 1184.03009 |
| [19] | Icard, T., Pacuit, E., & Shoham, Y. (2010). Joint revision of beliefs and intentions. In F. Lin, U. Sattler, & M. Truszczynski (Eds.), Principles of knowledge representation and reasoning: Proceedings of the twelfth international conference, KR 2010. |
| [20] | Kooi, B., & Pacuit, E. (2010). Logics for rational interaction. In O. Roy, P. Girard, & M. Marion (Eds.), Dynamic formal epistemology. · Zbl 1259.03011 |
| [21] | Pacuit, E. (forthcoming). Logics of informational attitudes and informative actions. Journal of the Indian Council of Philosophy. Available at http://ai.stanford.edu/\(\sim\)epacuit/papers/india-logknowbel.pdf · Zbl 1273.03058 |
| [22] | Parikh R., Ramanujam R. (2003) A knowledge based semantics of messages. Journal of Logic, Language and Information 12: 453–467 · Zbl 1031.03021 · doi:10.1023/A:1025007018583 |
| [23] | Plaza, J. (1989). Logics of public communications. In M. L. Emrich, M. S. Pfeifer, M. Hadzikadic, & Z. Ras (Eds.), Proceedings, 4th international symposium on methodologies for intelligent systems. (pp. 201–216) (republished as Plaza 2007). |
| [24] | Plaza J. (2007) Logics of public communications. Synthese: Knowledge, Rationality, and Action 158(2): 165–179 · Zbl 1126.03308 |
| [25] | Renne, B. (2008). Dynamic epistemic logic with justification. Ph.D. thesis, The City University of New York. |
| [26] | Renne, B., Sack, J., & Yap, A. (2009). Dynamic epistemic temporal logic. In X. He, J. Horty, & E. Pacuit (Eds.), Logic, rationality and interaction: Proceedings of LORI 2009, vol LNAI 5834. (pp. 263–277). · Zbl 1196.03024 |
| [27] | van Benthem, J. (1996). Exploring logical dynamics. CSLI Publications. · Zbl 0873.03001 |
| [28] | van Benthem J. (2008) Merging observation and access in dynamic logic. Studies in Logic 1: 1–17 |
| [29] | van Benthem J. (2010) Logical dynamics of information flow. Cambridge University Press, Cambridge |
| [30] | van Benthem J., Gerbrandy J., Hoshi T., Pacuit E. (2009) Merging frameworks for interaction. Journal of Philosophical Logic 38(5): 491–526 · Zbl 1185.03019 · doi:10.1007/s10992-008-9099-x |
| [31] | van Ditmarsch, H., & French, T. (2010). Becoming aware. Manuscript. · Zbl 1303.03047 |
| [32] | van Ditmarsch H., van der Hoek W., Kooi B. (2007) Dynamic epistemic logic. Synthese library. Springer, New York · Zbl 1156.03320 |
| [33] | Velazquez-Quesada F. R. (2009) Inference and update. Synthese (Knowledge, Rationality & Action) 169(2): 283–300 · Zbl 1183.03014 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
