{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T22:06:07Z","timestamp":1722549967412},"reference-count":10,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,7,1]],"date-time":"2003-07-01T00:00:00Z","timestamp":1057017600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3681,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,7]]},"DOI":"10.1016\/s1571-0661(04)80630-3","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"17-38","source":"Crossref","is-referenced-by-count":7,"title":["A Coalgebraic Semantics for Epistemic Programs"],"prefix":"10.1016","volume":"82","author":[{"given":"Alexandru","family":"Baltag","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80630-3_NEWBIB1","unstructured":"A. Baltag A Logic of Epistemic Actions. In the Proceedings of the Workshop on \u201cFoundations and Applications of Collective Agent Based Systems\u201d 11th European Summer School on Logic, Language and Information (ESSLLI'99), Utrecht University, Utrecht 1999."},{"key":"10.1016\/S1571-0661(04)80630-3_NEWBIB2","unstructured":"A. Baltag, Logics for Insecure Communication. In the Proceedings of TARK'01."},{"issue":"nr.1","key":"10.1016\/S1571-0661(04)80630-3_NEWBIB3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/1467-8586.00138","article-title":"A Logic for Suspicious Players: Epistemic Actions and Belief Updates in Games\u201d","volume":"volume 54","author":"Baltag","year":"2002","journal-title":"Bulletin Of Economic Research"},{"key":"10.1016\/S1571-0661(04)80630-3_NEWBIB4","unstructured":"A. Baltag, L.S. Moss, S. Solecki, The Logic of Public Announcements, Common Knowledge and Private Suspicions (Extended Abstract). In the Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK'98), pp. 43\u201356. Morgan Kaufmann Publishers. 1998."},{"key":"10.1016\/S1571-0661(04)80630-3_NEWBIB5","unstructured":"A. Baltag, L. S. Moss, S. Solecki, The Logic of Public Announcements, Common Knowledge and Private Suspicions. CWI Technical Report SENR9922, November 1999. Submitted for publication to APAL, November 1999. Electronic version available at http:\/\/www.cs.indiana.edu\/cogsci\/techreps\/238.html"},{"key":"10.1016\/S1571-0661(04)80630-3_NEWBIB6","series-title":"Reasoning about Knowledge","author":"Fagin","year":"1995"},{"key":"10.1016\/S1571-0661(04)80630-3_NEWBIB7","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1023\/A:1008222603071","article-title":"Reasoning about information change","volume":"6","author":"Gerbrandy","year":"1997","journal-title":"JLLI"},{"key":"10.1016\/S1571-0661(04)80630-3_NEWBIB8","unstructured":"J. Gerbrandy, Bisimulations on Planet Kripke, Ph.D. Dissertation, University of Amsterdam, 1999."},{"key":"10.1016\/S1571-0661(04)80630-3_NEWBIB9","unstructured":"A. Kurz, D. Pattinson, Coalgebras and Modal Logic for Parameterised Endofunctors. CWI Technical Report, SEN-R0040, December 2000."},{"key":"10.1016\/S1571-0661(04)80630-3_NEWBIB10","series-title":"Coalgebraic Methods in Computer Science (\u2018CMCS\u201902) volume 65.1 of Electronic Notes in Theoretical Computer Science","article-title":"Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic","author":"Kurz","year":"2002"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806303?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104806303?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T10:53:43Z","timestamp":1549191223000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104806303"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,7]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,7]]}},"alternative-id":["S1571066104806303"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80630-3","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2003,7]]}}}