{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:08:56Z","timestamp":1767650936021},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261728"},{"type":"electronic","value":"9783540319276"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11493402_15","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T01:52:26Z","timestamp":1278985946000},"page":"256-269","source":"Crossref","is-referenced-by-count":8,"title":["The Logic of Communication Graphs"],"prefix":"10.1007","author":[{"given":"Eric","family":"Pacuit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rohit","family":"Parikh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"15_CR1","first-page":"165","volume":"139","author":"A. Baltag","year":"2004","unstructured":"Baltag, A., Moss, L.: Logics for Epistemic Programs. Knowledge, Rationality, and Action section of Synthese\u00a0139(2), 165\u2013224 (2004)","journal-title":"Knowledge, Rationality, and Action section of Synthese"},{"key":"15_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/978-3-540-30227-8_5","volume-title":"Proceedings of 9th European Conference on Logics in Artifical Intelligence","author":"S. Chopra","year":"2004","unstructured":"Chopra, S., Pacuit, E., Parikh, R.: Knowledge-theoretic Properties of Strategic Voting. In: Alferes, J.J., Leite, J. (eds.) Proceedings of 9th European Conference on Logics in Artifical Intelligence. LNCS (LNAI), pp. 18\u201330. Springer, Heidelberg (2004)"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0168-0072(95)00016-X","volume":"78","author":"A. Dabrowski","year":"1996","unstructured":"Dabrowski, A., Moss, L., Parikh, R.: Topolgical reasoning and the logic of knowledge. Annals of Pure and Applied Logic\u00a078, 73\u2013110 (1996)","journal-title":"Annals of Pure and Applied Logic"},{"key":"15_CR4","unstructured":"Georgatos, K.: Modal Logics for Topological Spaces. PhD Dissertation. Graduate School and University Center. City University of New York (1993)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/3-540-58095-6_11","volume-title":"Knowledge Representation and Reasoning Under Uncertainty","author":"K. Georgatos","year":"1994","unstructured":"Georgatos, K.: Knowledge Theoretic Properties of Topological Spaces. In: Masuch, M., Polos, L. (eds.) Logic at Work 1992. LNCS, vol.\u00a0808, pp. 147\u2013159. Springer, Heidelberg (1994)"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1023\/A:1004908502255","volume":"59","author":"K. Georgatos","year":"1997","unstructured":"Georgatos, K.: Knowledge on Treelike Spaces. Studia Logica\u00a059, 271\u2013301 (1997)","journal-title":"Studia Logica"},{"key":"15_CR7","unstructured":"Gerbrandy, J.: Bisimulations on Planet Kripke. Ph.D. dissertation, University of Amsterdam (1999)"},{"issue":"1-2","key":"15_CR8","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/S0304-3975(98)00310-7","volume":"224","author":"B. Heinemann","year":"1999","unstructured":"Heinemann, B.: Temporal Aspects of the Modal Logic of Subset Spaces. Theoretical Computer Science\u00a0224(1-2), 135\u2013155 (1999)","journal-title":"Theoretical Computer Science"},{"key":"15_CR9","first-page":"87","volume-title":"Temporal Representation and Reasoning","author":"B. Heinemann","year":"2000","unstructured":"Heinemann, B.: Extending Topological Nexttime Logic. In: Goodwin, S.D., Trudel, A. (eds.) Temporal Representation and Reasoning, TIME-00, Cape Breton, Nova Scotia, Canada, pp. 87\u201394. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"15_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/3-540-46016-0_22","volume-title":"MICAI 2002: Advances in Artificial Intelligence","author":"B. Heinemann","year":"2002","unstructured":"Heinemann, B.: A Hybrid Treatment of Evolutionary Sets. In: Coello Coello, C.A., de Albornoz, \u00c1., Sucar, L.E., Battistutti, O.C. (eds.) MICAI 2002. LNCS (LNAI), vol.\u00a02313, pp. 204\u2013213. Springer, Heidelberg (2002)"},{"key":"15_CR11","unstructured":"Kooi, B.: Knowledge, Chance, and Change, Ph.D. dissertation, University of Groningen (2003)"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-27815-3_17","volume-title":"Algebraic Methodology and Software Technology","author":"B. Heinemann","year":"2004","unstructured":"Heinemann, B.: A Hybrid Logic of Knowledge Supporting Topological Reasoning. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol.\u00a03116, pp. 181\u2013195. Springer, Heidelberg (2004) (to appear)"},{"key":"15_CR13","unstructured":"Moss, L., Parikh, R.: Topological Reasoning and the Logic of Knowledge. In: Moses, Y. (ed.) TARK IV. Morgan Kaufmann, San Francisco (1992)"},{"issue":"3","key":"15_CR14","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1023\/A:1020391420768","volume":"132","author":"R. Parikh","year":"2002","unstructured":"Parikh, R.: Social Software. Synthese\u00a0132(3), 187\u2013211 (2002)","journal-title":"Synthese"},{"key":"#cr-split#-15_CR15.1","unstructured":"Parikh, R., Pacuit, E., Cogan, E.: The logic of knowledge based obligation. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.??3476. Springer, Heidelberg (2005);"},{"key":"#cr-split#-15_CR15.2","unstructured":"Forthcoming in Knowledge Rationality and Action: Special Issue on the Knowledge and Games Workshop (2005)"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-15648-8_21","volume-title":"Logics of Programs","author":"R. Parikh","year":"1985","unstructured":"Parikh, R., Ramanujam, R.: Distributed Processing and the Logic of Knowledge. In: Parikh, R. (ed.) Logic of Programs 1985. LNCS, vol.\u00a0193, pp. 256\u2013268. Springer, Heidelberg (1985)"},{"key":"15_CR17","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1023\/A:1025007018583","volume":"12","author":"R. Parikh","year":"2003","unstructured":"Parikh, R., Ramanujam, R.: A knowledge based semantics of messages. J. Logic, Language, and Information\u00a012, 453\u2013467 (2003)","journal-title":"J. Logic, Language, and Information"},{"key":"15_CR18","unstructured":"Plaza, J.: Logics of public communications. In: Proceedings, 4th International Symposium on Methodologies for Intelligent Systems (1989)"},{"key":"15_CR19","unstructured":"van Ditmarsch, H.: Knowledge Games, Ph.D. dissertation, University of Groningen (2000)"},{"key":"15_CR20","volume-title":"Topology Via Logic","author":"S. Vickers","year":"1989","unstructured":"Vickers, S.: Topology Via Logic. Cambridge University Press, Cambridge (1989)"},{"issue":"1","key":"15_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1016372523344","volume":"71","author":"M.A. Weiss","year":"2002","unstructured":"Weiss, M.A., Parikh, R.: Completeness of Certain Bimodal Logics of Subset Spaces. Studia Logica\u00a071(1), 1\u201330 (2002)","journal-title":"Studia Logica"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11493402_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:37:44Z","timestamp":1619505464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11493402_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261728","9783540319276"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11493402_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}