{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:35:48Z","timestamp":1740123348213,"version":"3.37.3"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"S1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1007\/s11229-010-9766-7","type":"journal-article","created":{"date-parts":[[2010,9,6]],"date-time":"2010-09-06T05:07:36Z","timestamp":1283749656000},"page":"77-96","source":"Crossref","is-referenced-by-count":0,"title":["The language of social software"],"prefix":"10.1007","volume":"177","author":[{"given":"Jan","family":"van Eijck","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,9,7]]},"reference":[{"key":"9766_CR1","unstructured":"Baltag, A., Moss, L. S., & Solecki, S. (1998). The logic of public announcements, common knowledge, and private suspicions. In I. Bilboa (Ed.), Proceedings of TARK\u201998 (pp. 43\u201356)."},{"key":"9766_CR2","unstructured":"Groenendijk, J., & Stokhof, M. (1984). Studies on the semantics of questions and the pragmatics of answers. PhD thesis, University of Amsterdam."},{"key":"9766_CR3","doi-asserted-by":"crossref","unstructured":"Halpern, J. Y., & Moses, Y. (1990). Knowledge and common knowledge in a distributed environment. In Proceedings of the 3rd ACM symposium on principles of distributed computing (PODS), pp. 50\u201361, 1984. A newer version appeared in the Journal of the ACM, 37(3), 549\u2013587.","DOI":"10.1145\/79147.79161"},{"key":"9766_CR4","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0304-3975(81)90019-0","volume":"14","author":"D. Kozen","year":"1981","unstructured":"Kozen D., Parikh R. (1981) An elementary proof of the completeness of PDL. Theoretical Computer Science 14: 113\u2013118","journal-title":"Theoretical Computer Science"},{"key":"9766_CR5","volume-title":"Advances in economic theory\u20146th World Congress","author":"J. Moore","year":"1992","unstructured":"Moore J. (1992) Implementation, contracts, and renegotiation in environments with complete information. In: Laffont J.-J. (eds) Advances in economic theory\u20146th World Congress. Cambridge University Press, Cambridge"},{"key":"9766_CR6","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1023\/A:1020391420768","volume":"132","author":"R. Parikh","year":"2002","unstructured":"Parikh R. (2002) Social software. Synthese 132: 187\u2013211","journal-title":"Synthese"},{"key":"9766_CR7","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0304-3975(81)90110-9","volume":"13","author":"A. Pnueli","year":"1981","unstructured":"Pnueli A. (1981) A temporal logic of programs. Theoretical Computer Science 13: 45\u201360","journal-title":"Theoretical Computer Science"},{"key":"9766_CR8","doi-asserted-by":"crossref","DOI":"10.1201\/9781439863855","volume-title":"Cake-cutting algorithms","author":"J. Robertson","year":"1998","unstructured":"Robertson J., Webb W. (1998) Cake-cutting algorithms. A.K. Peters, Wellesley"},{"key":"9766_CR9","volume-title":"50 Wittiest Tales of Birbal","author":"C. Sahwney","year":"2004","unstructured":"Sahwney C. (2004) 50 Wittiest Tales of Birbal. Unicorn Books, New Delhi"},{"key":"9766_CR10","first-page":"36","volume-title":"Universal algebra and applications","author":"K. Segerberg","year":"1982","unstructured":"Segerberg K. (1982) A completeness theorem in the modal logic of programs. In: Traczyck T. (eds) Universal algebra and applications. Polish Science Publications, Warsaw, pp 36\u201346"},{"key":"9766_CR11","first-page":"101","volume":"16","author":"H. Steinhaus","year":"1948","unstructured":"Steinhaus H. (1948) The problem of fair division. Econometrica 16: 101\u2013104","journal-title":"Econometrica"},{"key":"9766_CR12","unstructured":"van Benthem, J. (2000). Information update as relativization. Technical report, ILLC, Amsterdam, 2000. Available from http:\/\/staff.science.uva.nl\/~johan\/Upd=Rel.pdf ."},{"issue":"5","key":"9766_CR13","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/s10992-008-9099-x","volume":"38","author":"J. Benthem van","year":"2009","unstructured":"van Benthem J., Gerbrandy J., Hoshi T., Pacuit E. (2009) Merging frameworks for interaction. Journal of Philosophical Logic 38(5): 491\u2013526","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"9766_CR14","doi-asserted-by":"crossref","first-page":"157","DOI":"10.3166\/jancl.17.157-182","volume":"14","author":"J. Benthem van","year":"2007","unstructured":"van Benthem J., Liu F. (2007) Dynamic logic of preference upgrade. Journal of Applied Non-Classical Logics 14(2): 157\u2013182","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9766_CR15","doi-asserted-by":"crossref","unstructured":"van Benthem, J., & Minica, S. (2009) Towards a dynamic logic of question. In X. He, J. Horty, & E. Pacuit (Eds.), Proceedings of the 2nd international conference on logic, rationality and interaction, Qhongqing, China, pp. 27\u201341.","DOI":"10.1007\/978-3-642-04893-7_3"},{"issue":"11","key":"9766_CR16","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J. Benthem van","year":"2006","unstructured":"van Benthem J., van Eijck J., Kooi B. (2006) Logics of communication and change. Information and Computation 204(11): 1620\u20131662","journal-title":"Information and Computation"},{"key":"9766_CR17","first-page":"87","volume-title":"Logic and the foundations of game and decision theory (LOFT 7), Texts in Logic and Games","author":"H. Ditmarsch van","year":"2008","unstructured":"van Ditmarsch H., Kooi B. (2008) Semantic results for ontic and epistemic change. In: Bonanno G., van der Hoek W., Wooldridge M. (eds) Logic and the foundations of game and decision theory (LOFT 7), Texts in Logic and Games. Amsterdam University Press, Amsterdam, pp 87\u2013117"},{"key":"9766_CR18","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van Eijck, J., & Wu, W. (May 2010). One hundred prisoners and a lightbulb\u2014Logic and computation. In Twelfth international conference on the principles of knowledge representation and reasoning, Toronto, Canada.","DOI":"10.3166\/jancl.20.179-191"},{"key":"9766_CR19","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H. P., van der Hoek, W., & Kooi, B. (2006) Dynamic epistemic logic. In Synthese library (Vol. 337). Heidelberg: Springer.","DOI":"10.1145\/1082473.1082495"},{"key":"9766_CR20","unstructured":"van Eijck, J. (2007). DEMO\u2014A demo of epistemic modelling. In J. van Benthem, D. Gabbay, & B. L\u00f6we (Eds.), Interactive logic: Proceedings of the 7th Augustus de Morgan Workshop, Texts in Logic and Games (Vol. 1, pp. 305\u2013363). Amsterdam University Press."},{"key":"9766_CR21","doi-asserted-by":"crossref","unstructured":"van Eijck, J., & Sietsma, F. (2010) Multi-agent belief revision with linked plausibilities. In G. Bonanno, B. Loewe, & W. van der Hoek (Eds.), Logic and the foundations of game and decision theory\u2014LOFT 8, Lecture Notes in Artificial Intelligence (Vol. 6006). Springer.","DOI":"10.1007\/978-3-642-15164-4_9"},{"key":"9766_CR22","unstructured":"van Eijck, J., & Unger, C. (December 2007). The epistemics of presupposition projection. In M. Aloni, P. Dekker, & F. Roelofsen (Eds.), Proceedings of the sixteenth Amsterdam Colloquium, December 17\u201319, 2007 (pp. 235\u2013240). Amsterdam: ILLC."},{"key":"9766_CR23","doi-asserted-by":"crossref","unstructured":"van Eijck, J., & Unger, C. (October 2010). Computational semantics with functional programming. Cambridge University Press.","DOI":"10.1017\/CBO9780511778377"},{"key":"9766_CR24","doi-asserted-by":"crossref","unstructured":"van Eijck, J., & Wang, Y. (2008). Propositional dynamic logic as a logic of belief revision. In W. Hodges, & R. de Queiros (Eds.), Proceedings of Wollic\u201908, Lecture Notes in Artificial Intelligence (Vol. 5110, pp. 136\u2013148). Springer. http:\/\/dx.doi.org\/10.1007\/978-3-540-69937-8_13 .","DOI":"10.1007\/978-3-540-69937-8_13"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-010-9766-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T18:21:05Z","timestamp":1559586065000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-010-9766-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,7]]},"references-count":24,"journal-issue":{"issue":"S1","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["9766"],"URL":"https:\/\/doi.org\/10.1007\/s11229-010-9766-7","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2010,9,7]]}}}