Abstract
A minor change to the standard epistemic logical language, replacing K i with K 〈i,t〉 where t is an explicit time instance, gives rise to a generalized and more expressive form of knowledge and common knowledge operators. We investigate the communication structures that are necessary for such generalized epistemic states to arise, and the inter-agent coordination tasks that require such knowledge. Previous work has established a relation between linear event ordering and nested knowledge, and between simultaneous event occurrences and common knowledge. In the new, extended, formalism, epistemic necessity is decoupled from temporal necessity. Nested knowledge and event ordering are shown to be related even when the nesting order of the operators does not match the temporal order of occurrence. The generalized form of common knowledge does not correspond to simultaneity. Rather, it corresponds to a notion of tight coordination, of which simultaneity is an instance.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alur, R., Henzinger, T.: Logics and Models of Real-time: A Survey. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX Workshop 1991. LNCS, vol. 600, pp. 74–106. Springer, Heidelberg (1992)
Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., Wolter, F., van Benthem, J. (eds.) Handbook of Modal Logics. Elsevier (2006)
Ben-Zvi, I.: Causality, Knowledge and Coordination in Distributed Systems. PhD thesis, Technion, Israel (2011)
Ben-Zvi, I., Moses, Y.: Beyond Lamport’s Happened-Before: On the Role of Time Bounds in Synchronous Systems. In: Lynch, N.A., Shvartsman, A.A. (eds.) DISC 2010. LNCS, vol. 6343, pp. 421–436. Springer, Heidelberg (2010)
Ben-Zvi, I., Moses, Y.: On interactive knowledge with bounded communication. Journal of Applied Non-Classical Logics 21(3-4), 323–354 (2011)
Chandy, K.M., Misra, J.: How processes learn. Distributed Computing 1(1), 40–52 (1986)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Common knowledge revisited. In: Shoham, Y. (ed.) Proc. Sixth Conference on Theoretical Aspects of Rationality and Knowledge, pp. 283–298. Morgan Kaufmann, San Francisco (1996)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (2003)
Gonczarowski, Y., Moses, Y.: Timely common knowledge: Characterising asymmetric distributed coordination via vectorial fixed points (in preparation, 2012)
Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. Journal of the ACM 37(3), 549–587 (1990); A preliminary version appeared in Proc. 3rd ACM Symposium on Principles of Distributed Computing (1984)
Halpern, J.Y., Vardi, M.Y.: The complexity of reasoning about knowledge and time, I: lower bounds. Journal of Computer and System Sciences 38(1), 195–237 (1989)
Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21(7), 558–565 (1978)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ben-Zvi, I., Moses, Y. (2013). Agent-Time Epistemics and Coordination. In: Lodaya, K. (eds) Logic and Its Applications. ICLA 2013. Lecture Notes in Computer Science, vol 7750. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36039-8_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-36039-8_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36038-1
Online ISBN: 978-3-642-36039-8
eBook Packages: Computer ScienceComputer Science (R0)