{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:28Z","timestamp":1760202628980,"version":"3.40.2"},"reference-count":28,"publisher":"Informa UK Limited","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2011,1]]},"DOI":"10.3166\/jancl.21.397-425","type":"journal-article","created":{"date-parts":[[2012,2,20]],"date-time":"2012-02-20T17:08:36Z","timestamp":1329757716000},"page":"397-425","source":"Crossref","is-referenced-by-count":7,"title":["Composing models"],"prefix":"10.1080","volume":"21","author":[{"given":"Jan","family":"van Eijck","sequence":"first","affiliation":[{"name":"a Centrum Wiskunde en Informatica , P.O. Box 94079, NL-1090 GB , Amsterdam , The Netherlands"}]},{"given":"Floor","family":"Sietsma","sequence":"additional","affiliation":[{"name":"a Centrum Wiskunde en Informatica , P.O. Box 94079, NL-1090 GB , Amsterdam , The Netherlands"}]},{"given":"Yanjing","family":"Wang","sequence":"additional","affiliation":[{"name":"b Department of Philosophy , Peking University , 100871 , Beijing , China"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"volume-title":"The logic of public announcements, common knowledge, and private suspicions","year":"1999","author":"Baltag A.","key":"CIT0001"},{"volume-title":"The Great Art of Modeling","year":"2009","author":"van Benthem J.","key":"CIT0002"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-008-9099-x"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.04.006"},{"volume-title":"Inference, Promotion, and the Dynamics of Awareness","year":"2009","author":"van Benthem J.","key":"CIT0005"},{"issue":"1","key":"CIT0006","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"Bergstra J. A.","year":"1985","journal-title":"Theoretical Computer Science"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"issue":"3","key":"CIT0008","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"Brookes D.","year":"1984","journal-title":"Journal of the ACM"},{"first-page":"721","volume-title":"IJCAI'09: Proceedings of the 21st international jont conference on Artifical intelligence","author":"Cohen M.","key":"CIT0009"},{"key":"CIT0010","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1023\/A:1026168632319","author":"van Ditmarsch H.","year":"2003","journal-title":"Studia Logica"},{"first-page":"51","volume-title":"Knowledge Representation for Agents and Multi-Agent Systems (Proceedings of RAMAS 2008, Sydney, Australia), LNAI 5605","author":"van Ditmarsch H.","key":"CIT0011"},{"key":"CIT0012","series-title":"Synthese Library Series","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/978-94-007-1001-6_6","volume-title":"Knowledge Contributors","author":"van Ditmarsch H.","year":"2003"},{"first-page":"201","volume-title":"Proceedings of AAMAS '03","author":"van Ditmarsch H.","key":"CIT0013"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4"},{"first-page":"1015","volume-title":"Proc. of 7th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2008)","author":"Dunne P. E.","key":"CIT0015"},{"first-page":"305","volume-title":"Interactive Logic\u2014Proceedings of the 7th Augustus de Morgan Workshop, number 1 in Texts in Logic and Games","author":"van Eijck J.","key":"CIT0016"},{"first-page":"29","volume-title":"TARK '98: Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge","author":"Engelhardt K.","key":"CIT0017"},{"key":"CIT0018","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"Fagin R.","year":"1995"},{"volume-title":"Bisimulations on planet Kripke","year":"1999","author":"Gerbrandy J.","key":"CIT0019"},{"key":"CIT0020","doi-asserted-by":"crossref","unstructured":"Groote , J. F. and Ponse , A. 1994.The syntax and semantics of _CRL. In Algebra of Communicating Processes, Workshops in Computing, 26\u201362. Springer.","DOI":"10.1007\/978-1-4471-2120-6_2"},{"first-page":"166","volume-title":"Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, TARK '09","author":"Halpern J. Y.","key":"CIT0021"},{"key":"CIT0022","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic. Foundations of Computing","author":"Harel D.","year":"2000"},{"key":"CIT0023","doi-asserted-by":"crossref","first-page":"304-224","DOI":"10.1016\/j.geb.2007.07.003","volume":"62","author":"Heifetz A.","year":"2008","journal-title":"Games and Economic Behavior"},{"volume-title":"Introduction to Metamathematics","year":"1950","author":"Kleene S.","key":"CIT0024"},{"volume-title":"Dynamic Epistemology: Contemporary Perspectives","year":"2010","author":"Kooi B.","key":"CIT0025"},{"volume-title":"A Calculus of Communicating Systems","year":"1982","author":"Milner R.","key":"CIT0026"},{"issue":"2","key":"CIT0027","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1145\/23005.23008","volume":"34","author":"Peleg D.","year":"1987","journal-title":"Journal of the ACM"},{"volume-title":"Epistemic Modelling and Protocol Dynamics","year":"2010","author":"Wang Y.","key":"CIT0028"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.21.397-425","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T09:15:06Z","timestamp":1742548506000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.21.397-425"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1]]},"references-count":28,"journal-issue":{"issue":"3-4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2011,1]]}},"alternative-id":["10.3166\/jancl.21.397-425"],"URL":"https:\/\/doi.org\/10.3166\/jancl.21.397-425","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[2011,1]]}}}