{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T01:31:20Z","timestamp":1649208680522},"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":[{"key":"CIT0001","volume-title":"The logic of public announcements, common knowledge, and private suspicions","author":"Baltag A.","year":"1999"},{"key":"CIT0002","volume-title":"The Great Art of Modeling","author":"van Benthem J.","year":"2009"},{"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"},{"key":"CIT0005","volume-title":"Inference, Promotion, and the Dynamics of Awareness","author":"van Benthem J.","year":"2009"},{"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"},{"key":"CIT0009","first-page":"721","volume-title":"IJCAI'09: Proceedings of the 21st international jont conference on Artifical intelligence","author":"Cohen M."},{"key":"CIT0010","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1023\/A:1026168632319","author":"van Ditmarsch H.","year":"2003","journal-title":"Studia Logica"},{"key":"CIT0011","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":"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"},{"key":"CIT0013","first-page":"201","volume-title":"Proceedings of AAMAS '03","author":"van Ditmarsch H."},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"CIT0015","first-page":"1015","volume-title":"Proc. of 7th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2008)","author":"Dunne P. E."},{"key":"CIT0016","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":"CIT0017","first-page":"29","volume-title":"TARK '98: Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge","author":"Engelhardt K."},{"key":"CIT0018","volume-title":"Reasoning about Knowledge","author":"Fagin R.","year":"1995"},{"key":"CIT0019","volume-title":"Bisimulations on planet Kripke","author":"Gerbrandy J.","year":"1999"},{"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"},{"key":"CIT0021","first-page":"166","volume-title":"Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, TARK '09","author":"Halpern J. Y."},{"key":"CIT0022","doi-asserted-by":"crossref","volume-title":"Dynamic Logic. Foundations of Computing","author":"Harel D.","year":"2000","DOI":"10.7551\/mitpress\/2516.001.0001"},{"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"},{"key":"CIT0024","volume-title":"Introduction to Metamathematics","author":"Kleene S.","year":"1950"},{"key":"CIT0025","volume-title":"Dynamic Epistemology: Contemporary Perspectives","author":"Kooi B.","year":"2010"},{"key":"CIT0026","volume-title":"A Calculus of Communicating Systems","author":"Milner R.","year":"1982"},{"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"},{"key":"CIT0028","volume-title":"Epistemic Modelling and Protocol Dynamics","author":"Wang Y.","year":"2010"}],"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":[[2019,6,24]],"date-time":"2019-06-24T00:52:57Z","timestamp":1561337577000},"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":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,1]]}}}
