{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:23:52Z","timestamp":1725575032244},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642177958"},{"type":"electronic","value":"9783642177965"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-17796-5_8","type":"book-chapter","created":{"date-parts":[[2011,1,11]],"date-time":"2011-01-11T17:08:27Z","timestamp":1294765707000},"page":"128-141","source":"Crossref","is-referenced-by-count":2,"title":["Learning in a Changing World, an Algebraic Modal Logical Approach"],"prefix":"10.1007","author":[{"given":"Prakash","family":"Panangaden","sequence":"first","affiliation":[]},{"given":"Mehrnoosh","family":"Sadrzadeh","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1017\/S0960129500000189","volume":"3","author":"S. Abramsky","year":"1993","unstructured":"Abramsky, S., Vickers, S.: Quantales observational logic and process semantics. Mathematical Structures in Computer Science\u00a03, 161\u2013227 (1993)","journal-title":"Mathematical Structures in Computer Science"},{"key":"8_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-75256-1_20","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"G. Aucher","year":"2007","unstructured":"Aucher, G., Herzig, A.: From DEL to EDL: Exploring the Power of Converse Events. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol.\u00a04724, pp. 199\u2013209. Springer, Heidelberg (2007)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1093\/logcom\/exm015","volume":"17","author":"A. Baltag","year":"2007","unstructured":"Baltag, A., Coecke, B., Sadrzadeh, M.: Epistemic actions as resources. Journal of Logic and Computation\u00a017, 555\u2013585 (2007) (arXiv:math\/0608166)","journal-title":"Journal of Logic and Computation"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"798","DOI":"10.1145\/1183278.1183285","volume":"7","author":"J. Desharnais","year":"2006","unstructured":"Desharnais, J., M\u00fcller, B., Struth, G.: Kleene algebra with domain. ACM Trans. Comput. Log.\u00a07, 798\u2013833 (2006)","journal-title":"ACM Trans. Comput. Log."},{"key":"8_CR5","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF01061239","volume":"55","author":"M. Dunn","year":"2005","unstructured":"Dunn, M.: Positive modal logic. Studia Logica\u00a055, 301\u2013317 (2005)","journal-title":"Studia Logica"},{"key":"8_CR6","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":"8_CR7","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H.P., van der Hoek, W., Kooi, B.P.: Dynamic Epistemic Logic with Assignment. In: Proceedings of AAMAS, pp. 141\u2013148 (2005)","DOI":"10.1145\/1082473.1082495"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/j.apal.2004.04.007","volume":"131","author":"M. Gehrke","year":"2005","unstructured":"Gehrke, M., Nagahashi, H., Venema, Y.: A Sahlqvist theorem for distributive modal logic. Annals of Pure and Applied Logic\u00a0131, 65\u2013102 (2005)","journal-title":"Annals of Pure and Applied Logic"},{"key":"8_CR9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Propositional Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Propositional Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"#cr-split#-8_CR10.1","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. In: Proceedings of the Third ACM Symposium on Principles of Distributed Computing, pp. 50\u201361 (1984);","DOI":"10.1145\/800222.806735"},{"key":"#cr-split#-8_CR10.2","unstructured":"A revised version appears as IBM Research Report RJ 4421 (August 1987)"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J. Halpern","year":"1990","unstructured":"Halpern, J., Moses, Y.: Knowledge and common knowledge in a distributed environment. JACM\u00a037, 549\u2013587 (1990)","journal-title":"JACM"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. Kripke","year":"1963","unstructured":"Kripke, S.: Semantical analysis of modal logic. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik\u00a09, 67\u201396 (1963)","journal-title":"Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik"},{"key":"8_CR13","unstructured":"Panangaden, P., Sadrzadeh, M.: Learning in a changing world via algebraic modal logic, http:\/\/www.comlab.ox.ac.uk\/files\/2815\/mehrnoosh_prakash.pdf and http:\/\/www.cs.mcgill.ca\/~prakash\/Pubs\/mehrnoosh_prakash.pdf"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/3-540-08921-7_88","volume-title":"Mathematical Foundations of Computer Science 1978","author":"R. Parikh","year":"1978","unstructured":"Parikh, R.: The Completeness of Propositional Dynamic Logic. In: Winkowski, J. (ed.) MFCS 1978. LNCS, vol.\u00a064, pp. 403\u2013415. Springer, Heidelberg (1978)"},{"key":"8_CR15","unstructured":"Phillips, C.: An algebraic approach to dynamic epistemic logic. Master\u2019s thesis, School of Computer Sciecne. McGill University (2009)"},{"key":"8_CR16","unstructured":"Sadrzadeh, M.: Actions and Resources in Epistemic Logic. PhD thesis, Universit\u00e9 du Qu\u00e9bec \u00e0 Montr\u00e9al (2006)"},{"key":"8_CR17","first-page":"211","volume":"23","author":"M. Sadrzadeh","year":"2009","unstructured":"Sadrzadeh, M., Dyckhoff, R.: Positive logic with adjoint modalities: Proof theory, semantics and reasoning about information. ENTCS\u00a023, 211\u2013225 (2009)","journal-title":"ENTCS"},{"key":"8_CR18","series-title":"Synthese Library","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H. Ditmarsch van","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library, vol.\u00a0337. Springer, Heidelberg (2008)"},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1017\/S0960129598002540","volume":"8","author":"B. Karger von","year":"1998","unstructured":"von Karger, B.: Temporal algebras. Mathematical Structures in Computer Science\u00a08, 277\u2013320 (1998)","journal-title":"Mathematical Structures in Computer Science"},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"4160","DOI":"10.1016\/j.tcs.2009.06.015","volume":"410","author":"G. Winskel","year":"2009","unstructured":"Winskel, G.: Prime algebraicity. Theoretical Computer Science\u00a0410, 4160\u20134168 (2009)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17796-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T19:16:35Z","timestamp":1559934995000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17796-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642177958","9783642177965"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17796-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}