{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T14:40:36Z","timestamp":1737384036293,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540738572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73859-6_11","type":"book-chapter","created":{"date-parts":[[2007,8,21]],"date-time":"2007-08-21T11:37:02Z","timestamp":1187696222000},"page":"158-172","source":"Crossref","is-referenced-by-count":7,"title":["Coalgebraic Epistemic Update Without Change of Model"],"prefix":"10.1007","author":[{"given":"Corina","family":"C\u00eerstea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehrnoosh","family":"Sadrzadeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Baltag, A.: A coalgebraic semantics for epistemic programs. In: Proceedings of Coalgebraic Methods in Computer Science. Electronic Notes in Theoretical Computer Science, vol.\u00a082 (2003)","DOI":"10.1016\/S1571-0661(04)80630-3"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Baltag, A., Coecke, B., Sadrzadeh, M.: Epistemic actions as resources. Journal of Logic and Computation, forthcoming","DOI":"10.1093\/logcom\/exm015"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Baltag, A., Moss, L.S.: Logics for epistemic programs. Synthese 139 (2004)","DOI":"10.1023\/B:SYNT.0000024912.56773.5e"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Pacuit, E.: The tree of knowledge in action: towards a common perspective. In: Proceedings of Advances in Modal Logic (2006)","DOI":"10.1002\/9780470996751.ch27"},{"issue":"1","key":"11_CR5","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.tcs.2004.07.021","volume":"327","author":"C. C\u00eerstea","year":"2004","unstructured":"C\u00eerstea, C.: A compositional approach to defining logics for coalgebras. Theoretical Computer Science\u00a0327(1), 45\u201369 (2004)","journal-title":"Theoretical Computer Science"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/978-3-540-28644-8_17","volume-title":"CONCUR 2004 - Concurrency Theory","author":"C. C\u00eerstea","year":"2004","unstructured":"C\u00eerstea, C., Pattinson, D.: Modular construction of modal logics. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 258\u2013275. Springer, Heidelberg (2004)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"C\u00eerstea, C.: On expressivity and compositionality in logics for coalgebras. In: Proceedings of Coalgebraic Methods in Computer Science, Electronic Notes in Theoretical Computer Science 82 (2003)","DOI":"10.1016\/S1571-0661(04)80635-2"},{"key":"11_CR8","unstructured":"C\u00eerstea, C., Sadrzadeh, M.: Coalgebraic epistemic update without change of model, http:\/\/ecs.soton.ac.uk\/~ms6\/TechRep.pdf"},{"key":"11_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"11_CR10","unstructured":"Gerbrandy, J.: Bisimulations on Planet Kripke. Ph. D. Thesis, University of Amsterdam (1999)"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"875","DOI":"10.1017\/S096012950200378X","volume":"12","author":"B. Jacobs","year":"2002","unstructured":"Jacobs, B.: The temporal logic of coalgebras via Galois algebras. Mathematical Structures in Computer Science\u00a012, 875\u2013903 (2002)","journal-title":"Mathematical Structures in Computer Science"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1051\/ita:2001108","volume":"35","author":"B. Jacobs","year":"2001","unstructured":"Jacobs, B.: Many-sorted coalgebraic modal logic: a model-theoretic study. Theoretical Informatics and Applications\u00a035, 31\u201359 (2001)","journal-title":"Theoretical Informatics and Applications"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0168-0072(99)00027-5","volume":"96","author":"L.S. Moss","year":"1999","unstructured":"Moss, L.S.: Coalgebraic logic. Annals of Pure and Applied Logic\u00a096, 241\u2013259 (1999)","journal-title":"Annals of Pure and Applied Logic"},{"key":"11_CR14","unstructured":"Sadrzadeh, M.: Actions and Resources in Epistemic Logic. Ph.D. Thesis, University of Quebec at Montreal (2005), http:\/\/www.ecs.soton.ac.uk\/~ms6\/all.pdf"},{"key":"11_CR15","unstructured":"Sadrzadeh, M., C\u00eerstea, C.: Relating algebraic and coalgebraic logics of knowledge and update. In: Proceedings of the 7th conference on Logic and the Foundations of Game and Decision Theory, pp. 199\u2013208, Liverpool (July 2006)"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J.J.M.M. Rutten","year":"2000","unstructured":"Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theoretical Computer Science\u00a0249, 3\u201380 (2000)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Algebra and Coalgebra in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73859-6_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T13:59:02Z","timestamp":1737381542000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73859-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540738572"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73859-6_11","relation":{},"subject":[]}}