{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:29:20Z","timestamp":1725676160933},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642293252"},{"type":"electronic","value":"9783642293269"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-29326-9_7","type":"book-chapter","created":{"date-parts":[[2012,4,20]],"date-time":"2012-04-20T05:39:12Z","timestamp":1334900352000},"page":"119-140","source":"Crossref","is-referenced-by-count":4,"title":["Perception and Change in Update Logic"],"prefix":"10.1007","author":[{"given":"Jan","family":"van Eijck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Austin, J.: Sense and Sensibilia. Oxford University Press (1962)"},{"key":"7_CR2","unstructured":"Balbiani, P., Gasquet, O., Schwarzentruber, F.: Knowledge Reasoning in Lineland (2010)"},{"key":"7_CR3","unstructured":"Baltag, A., Moss, L., and Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. Tech. Rep. SEN-R9922, CWI, Amsterdam (1999), with many updates"},{"issue":"2","key":"7_CR4","first-page":"1","volume":"1","author":"J. Bell","year":"2000","unstructured":"Bell, J.: Continuity and the logic of perception. Transcendent Philosophy\u00a01(2), 1\u20137 (2000)","journal-title":"Transcendent Philosophy"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: Open problems in logic and games. Tech. Rep. PP-2005-06, ILLC, Amsterdam (2005)","DOI":"10.1007\/0-387-31072-X_3"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s11225-009-9209-y","volume":"93","author":"J. Benthem van","year":"2009","unstructured":"van Benthem, J., Gerbrandy, J., Kooi, B.: Dynamic update with probabilities. Studia Logica\u00a093, 67\u201396 (2009)","journal-title":"Studia Logica"},{"issue":"11","key":"7_CR7","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J. Benthem van","year":"2006","unstructured":"van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation\u00a0204(11), 1620\u20131662 (2006)","journal-title":"Information and Computation"},{"issue":"2","key":"7_CR8","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/s10992-008-9087-1","volume":"38","author":"D. Bonnay","year":"2009","unstructured":"Bonnay, D., Egr\u00e9, P.: Inexact knowledge with introspection. Journal of Philosophical Logic\u00a038(2), 179\u2013228 (2009)","journal-title":"Journal of Philosophical Logic"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Clark, H., Marshall, C.: Reference diaries. Tech. rep., Stanford University (1978)","DOI":"10.3115\/980262.980272"},{"key":"7_CR10","unstructured":"Clark, H., Marshall, C.: Definite reference and mutual knowledge. In: Joshi, A., Webber, B., Sag, I. (eds.) Elements of Discourse Understanding, pp. 10\u201363. Cambridge University Press (1981)"},{"key":"7_CR11","unstructured":"Davidson, D.: Mental events. In: Essays on Actions and Events. Oxford University Press (1982)"},{"key":"7_CR12","unstructured":"del Val, A., Maynard-Reid II, P., Shoham, Y.: Qualitative reasoning about perception and belief. In: IJCAI, vol.\u00a0(1), pp. 508\u2013513 (1997)"},{"key":"7_CR13","volume-title":"Seeing and Knowing","author":"F. Dretske","year":"1969","unstructured":"Dretske, F.: Seeing and Knowing. University of Chicago Press, Chicago (1969)"},{"key":"7_CR14","volume-title":"Knowledge and The Flow of Information","author":"F. Dretske","year":"1981","unstructured":"Dretske, F.: Knowledge and The Flow of Information. Bradford\/MIT Press, Cambridge (1981)"},{"key":"7_CR15","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-642-29326-9_8","volume-title":"Games, Actions, and Social Software 2011","author":"B. Dunin-K\\keplicz","year":"2012","unstructured":"Dunin-K\\k{e}plicz, B., Sza\u0142as, A.: Agents in Approximate Environments. In: Eijck, J.V., Verbrugge, R. (eds.) Games, Actions, and Social Software 2011. LNCS (LNAI), vol.\u00a07010, pp. 141\u2013163. Springer, Heidelberg (2012)"},{"key":"7_CR16","unstructured":"van Eijck, J.: Guarded actions. Tech. Rep. SEN-E0425, CWI, Amsterdam (December 2004), http:\/\/repository.cwi.nl\/"},{"key":"7_CR17","unstructured":"van Eijck, J.: DEMO \u2014 a demo of epistemic modelling. In: van Benthem, J., Gabbay, D., L\u00f6we, B. (eds.) Interactive Logic \u2014 Proceedings of the 7th Augustus de Morgan Workshop. Texts in Logic and Games, vol.\u00a0(1), pp. 305\u2013363. Amsterdam University Press (2007)"},{"issue":"1","key":"7_CR18","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1002\/bs.3830140105","volume":"14","author":"M. Friedell","year":"1969","unstructured":"Friedell, M.: On the structure of shared awareness. Behavioral Science\u00a014(1), 28\u201339 (1969)","journal-title":"Behavioral Science"},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1093\/analys\/23.6.121","volume":"23","author":"E. Gettier","year":"1963","unstructured":"Gettier, E.: Is justified true belief knowledge? Analysis\u00a023, 121\u2013123 (1963)","journal-title":"Analysis"},{"key":"#cr-split#-7_CR20.1","doi-asserted-by":"crossref","unstructured":"Halpern, J., Moses, Y.: Knowledge and common knowledge in a distributed environment. In: Proceedings of the 3rd ACM Symposium on Principles of Distributed Computing (PODS), pp. 50-61 (1984)","DOI":"10.1145\/800222.806735"},{"key":"#cr-split#-7_CR20.2","doi-asserted-by":"crossref","unstructured":"A newer version appeared in the Journal of the ACM 37(3), 549-587 (1990)","DOI":"10.1145\/79147.79161"},{"key":"7_CR21","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic. Foundations of Computing","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. Foundations of Computing. MIT Press, Cambridge (2000)"},{"issue":"10","key":"7_CR22","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1145\/363235.363259","volume":"12","author":"C. Hoare","year":"1969","unstructured":"Hoare, C.: An axiomatic basis for computer programming. Communications of the ACM\u00a012(10), 567\u2013580, 583 (1969)","journal-title":"Communications of the ACM"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Kooi, B.: Expressivity and completeness for public update logics via reduction axioms. Journal of Applied Non-Classical Logics\u00a016(2) (2007)","DOI":"10.3166\/jancl.17.231-253"},{"key":"7_CR24","unstructured":"Lewis, D.: Convention: A Philosophical Study. Harvard University Press (1969)"},{"key":"7_CR25","volume-title":"Formalizing Common Sense: Papers by John McCarthy","author":"J. McCarthy","year":"1990","unstructured":"McCarthy, J.: Formalization of two puzzles involving knowledge. In: Lifschitz, V. (ed.) Formalizing Common Sense: Papers by John McCarthy. Ablex Publishing Corporation, Norwood (1990); Original manuscript dated 1978-1981"},{"key":"7_CR26","series-title":"Texts in Logic and Games","first-page":"135","volume-title":"Interactive Logic \u2014 Proceedings of the 7th Augustus de Morgan Workshop","author":"E. Pacuit","year":"2007","unstructured":"Pacuit, E., Parikh, R.: Reasoning about communication graphs. In: van Benthem, J., Gabbay, D., L\u00f6we, B. (eds.) Interactive Logic \u2014 Proceedings of the 7th Augustus de Morgan Workshop. Texts in Logic and Games, vol.\u00a0(1), pp. 135\u2013157. Amsterdam University Press, Amsterdam (2007)"},{"key":"7_CR27","volume-title":"Handbook of Spatial Logics","author":"R. Parikh","year":"2007","unstructured":"Parikh, R., Moss, L., Steinsvold, C.: Topology and epistemic logic. In: Aiello, M., Pratt-Hartmann, I., van Benthem, J. (eds.) Handbook of Spatial Logics, ch. 6. Springer, Heidelberg (2007)"},{"key":"7_CR28","unstructured":"Plaza, J.A.: Logics of public communications. In: Emrich, M.L., Pfeifer, M.S., Hadzikadic, M., Ras, Z.W. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201\u2013216 (1989)"},{"key":"7_CR29","volume-title":"The Logic of Perception","author":"I. Rock","year":"1985","unstructured":"Rock, I.: The Logic of Perception. MIT Press, Cambridge (1985)"},{"key":"7_CR30","volume-title":"Meaning","author":"S. Schiffer","year":"1972","unstructured":"Schiffer, S.: Meaning. Oxford University Press, Oxford (1972)"},{"key":"7_CR31","unstructured":"Shoham, Y., del Val, A.: A logic for perception and belief. Tech. Rep. CS-TR-91-1391, Stanford University (1991)"}],"container-title":["Lecture Notes in Computer Science","Games, Actions and Social Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29326-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,13]],"date-time":"2022-01-13T12:34:43Z","timestamp":1642077283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29326-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642293252","9783642293269"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29326-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}