{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:24:34Z","timestamp":1742970274652,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642018176"},{"type":"electronic","value":"9783642018183"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01818-3_16","type":"book-chapter","created":{"date-parts":[[2009,5,14]],"date-time":"2009-05-14T15:40:43Z","timestamp":1242315643000},"page":"146-157","source":"Crossref","is-referenced-by-count":1,"title":["A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Lijun","family":"Wu","sequence":"first","affiliation":[]},{"given":"Jinshu","family":"Su","sequence":"additional","affiliation":[]},{"given":"Xiangyu","family":"Luo","sequence":"additional","affiliation":[]},{"given":"Zhihua","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Qingliang","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)"},{"key":"16_CR2","first-page":"1","volume":"30","author":"W. Lenzen","year":"1978","unstructured":"Lenzen, W.: Recent work in epistemic logic. Acta Philosophica Fennica\u00a030, 1\u2013219 (1978)","journal-title":"Acta Philosophica Fennica"},{"key":"16_CR3","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., Moss, Y., Vardi, M.: Reasoning about knowledge. MIT Press, Cambridge (1995)"},{"key":"16_CR4","series-title":"Cambridge Tracts in theoretical computer science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic logic for AI and computer science","author":"J. Meyer","year":"1995","unstructured":"Meyer, J., Van der Hoek, W.: Epistemic logic for AI and computer science. Cambridge Tracts in theoretical computer science, vol.\u00a041. Cambridge University Press, Cambridge (1995)"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"116","DOI":"10.2307\/2171725","volume":"63","author":"R. Aumann","year":"1995","unstructured":"Aumann, R., Brandenburger, A.: Epistemic conditions for nash equilibrium. Econometrica\u00a063, 116\u20131180 (1995)","journal-title":"Econometrica"},{"issue":"2","key":"16_CR6","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M.J. Fisher","year":"1977","unstructured":"Fisher, M.J., Ladner, R.E.: Propositional dynamic logic of regular programs. Journal of computer and system science\u00a018(2), 194\u2013211 (1977)","journal-title":"Journal of computer and system science"},{"key":"16_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic logic. MIT Press, Cambridge (2000)"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1145\/1082473.1082495","volume-title":"Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems","author":"H. Ditmarsch van","year":"2005","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic epistemic logic with assignment. In: Dignum, F., Dignum, V., Koenig, S., Kraus, S., Singh, M.P., Wooldridge, M. (eds.) Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems, vol.\u00a01, pp. 141\u2013148. ACM Inc., New York (2005)"},{"key":"16_CR9","unstructured":"Plaza, J.: Logics of public communications. In: Proceedings of the 4th international symposium on methodologics for intelligent system, pp. 201\u2013216 (1989)"},{"key":"16_CR10","unstructured":"Gerbrandy, J.: Bisimulation on planet Kripke. PhD thesis, university of Amsterdam, ILLC dissertation series DS-1999-01 (1999)"},{"key":"16_CR11","unstructured":"Van Bentem, J.: Logics of information update. In: Proceedings of TARK VIII, Los Altos, pp. 51\u201388 (2001)"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1023\/A:1015590229647","volume":"11","author":"H. Ditmarsch van","year":"2002","unstructured":"van Ditmarsch, H.: Description of game actions. Journal of logic, language and information\u00a011, 349\u2013365 (2002)","journal-title":"Journal of logic, language and information"},{"issue":"2","key":"16_CR13","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1145\/23005.23008","volume":"34","author":"Peleg","year":"1987","unstructured":"Peleg, David: Concurrent dynamic logic. Journal of the ACM\u00a034(2), 450\u2013479 (1987)","journal-title":"Journal of the ACM"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Peleg, David: Communication in concurrent dynamic logic. J. Comput. Syst. Sci.\u00a035, 23\u201358","DOI":"10.1016\/0022-0000(87)90035-3"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van der Hoke, W., Kooi, B.: Concurrent dynamic epistemic logic for MAS. In: Knowledge contributors, Dordrecht, pp. 45\u201382 (2003)","DOI":"10.1145\/860575.860608"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Su, K., Sattar, A., et al.: A computational grounded logic of knowledge, belief and certainty. In: AAMAS 2005, pp. 149\u2013156 (2005)","DOI":"10.1145\/1082473.1082496"},{"key":"16_CR17","first-page":"415","volume-title":"KR 1994","author":"P. Lamarre","year":"1994","unstructured":"Lamarre, P., Shoham, Y.: Knowledge, certainty, belief, and conditionalisation. In: KR 1994, pp. 415\u2013424. Morgan Kaufmann, San Francisco (1994)"},{"key":"16_CR18","unstructured":"Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge and private suspicions. CWI Technical Report SEN-R9922 (1999)"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01818-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T12:17:23Z","timestamp":1739103443000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01818-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642018176","9783642018183"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01818-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}