{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T15:41:32Z","timestamp":1765294892288,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662556641"},{"type":"electronic","value":"9783662556658"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55665-8_47","type":"book-chapter","created":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T11:01:02Z","timestamp":1503486062000},"page":"653-657","source":"Crossref","is-referenced-by-count":2,"title":["Distributed Knowing Whether"],"prefix":"10.1007","author":[{"given":"Xingchi","family":"Su","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,24]]},"reference":[{"key":"47_CR1","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1146\/annurev.cs.02.060187.000345","volume":"2","author":"JY Halpern","year":"1987","unstructured":"Halpern, J.Y.: Using reasoning about knowledge to analyze distributed systems. Annu. Rev. Comput. Sci. 2, 37\u201368 (1987)","journal-title":"Annu. Rev. Comput. Sci."},{"issue":"3","key":"47_CR2","first-page":"549","volume":"37","author":"JY Halpern","year":"1990","unstructured":"Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. Annu. Rev. Comput. Sci. 37(3), 549\u2013587 (1990)","journal-title":"Annu. Rev. Comput. Sci."},{"issue":"2","key":"47_CR3","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1145\/128749.150945","volume":"39","author":"R Fagin","year":"1992","unstructured":"Fagin, R., Halpern, J.Y., Vardi, M.Y.: What can machines know?: on the properties of knowledge in distributed systems. J. Assoc. Comput. Mach. 39(2), 328\u2013376 (1992)","journal-title":"J. Assoc. Comput. Mach."},{"issue":"2","key":"47_CR4","doi-asserted-by":"crossref","first-page":"255","DOI":"10.3166\/jancl.17.255-273","volume":"17","author":"F Roelofsen","year":"2007","unstructured":"Roelofsen, F.: Distributed knowledge. J. Appl. Non Class. Logics 17(2), 255\u2013273 (2007)","journal-title":"J. Appl. Non Class. Logics"},{"key":"47_CR5","unstructured":"Gerbrandy, J.D.: Bisimulations on planet kripke (2006)"},{"key":"47_CR6","unstructured":"Wang, Y.: Beyond knowing that: a new generation of epistemic logics. In: Jaakko Hintikka on knowledge and game theoretical semantics (2016). arXiv.org\/abs\/1605.01995 . (forthcoming)"},{"key":"47_CR7","first-page":"178","volume":"10","author":"J Fan","year":"2014","unstructured":"Fan, J., Wang, Y., van Ditmarsch, H.: Almost neccessary. Proceedings of AiML 10, 178\u2013196 (2014)","journal-title":"Proceedings of AiML"},{"key":"47_CR8","doi-asserted-by":"crossref","unstructured":"Wang, Y.: A logic of goal-directed knowing how, Synthese (2017). forthcoming","DOI":"10.1007\/s11229-016-1272-0"},{"key":"47_CR9","unstructured":"Xu, C., Wang, Y., Studer, T.: A logic of knowing why (2016). arXiv:1609.06405"},{"issue":"1","key":"47_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S175502031400032X","volume":"8","author":"J Fan","year":"2015","unstructured":"Fan, J., Wang, Y., Ditmarsch, H.V.: Contingency and knowing whether. Rev. Symbol. Logic 8(1), 1\u201333 (2015)","journal-title":"Rev. Symbol. Logic"},{"key":"47_CR11","doi-asserted-by":"crossref","unstructured":"Fan, J.: Distributed knowledge whether to appear. In: proceedings of Sixth International Conference on Logics, Rationality and Interaction (LORI) (2017)","DOI":"10.1007\/978-3-662-55665-8_45"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55665-8_47","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T14:27:36Z","timestamp":1570026456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55665-8_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662556641","9783662556658"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55665-8_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}