{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:28:25Z","timestamp":1743146905997,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662587706"},{"type":"electronic","value":"9783662587713"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-662-58771-3_7","type":"book-chapter","created":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T21:03:34Z","timestamp":1549314214000},"page":"64-75","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Public Announcements for Epistemic Models and Hypertheories"],"prefix":"10.1007","author":[{"given":"Nenad","family":"Savi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Studer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,2,5]]},"reference":[{"issue":"2","key":"7_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symb. Log. 50(2), 510\u2013530 (1985)","journal-title":"J. Symb. Log."},{"issue":"4","key":"7_CR2","first-page":"477","volume":"1","author":"SN Artemov","year":"2008","unstructured":"Artemov, S.N.: The logic of justification. RSL 1(4), 477\u2013513 (2008)","journal-title":"RSL"},{"key":"7_CR3","unstructured":"Artemov, S.N.: Knowing the model. ArXiv e-prints https:\/\/arxiv.org\/abs\/1610.04955 (2016)"},{"key":"7_CR4","unstructured":"Artemov, S.N.: New foundations of epistemic logic. Talk given at OST 2018, Bern (2018). http:\/\/ost18.inf.unibe.ch\/"},{"key":"7_CR5","unstructured":"Artemov, S.N.: Rebuilding epistemic logic. Talk given at Trends in Logic XVIII, Milan (2018). https:\/\/www.unicatt.it\/meetings\/trends-home"},{"key":"7_CR6","unstructured":"Artemov, S.N.: Revising epistemic logic. Talk given at LFCS 2018, Deerfield Beach (2018). http:\/\/lfcs.ws.gc.cuny.edu\/lfcs-2018\/"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-319-72056-2_7","volume-title":"Logical Foundations of Computer Science","author":"K Br\u00fcnnler","year":"2018","unstructured":"Br\u00fcnnler, K., Flumini, D., Studer, T.: A logic of blockchain updates. In: Artemov, S., Nerode, A. (eds.) LFCS 2018. LNCS, vol. 10703, pp. 107\u2013119. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-72056-2_7"},{"key":"7_CR8","unstructured":"Bucheli, S., Kuznets, R., Renne, B., Sack, J., Studer, T.: Justified belief change. In: Arrazola, X., Ponte, M. (eds.) LogKCA-2010, pp. 135\u2013155. University of the Basque Country Press (2010)"},{"issue":"6","key":"7_CR9","doi-asserted-by":"publisher","first-page":"1046","DOI":"10.1016\/j.jcss.2014.04.001","volume":"80","author":"S Bucheli","year":"2014","unstructured":"Bucheli, S., Kuznets, R., Studer, T.: Realizing public announcements by justifications. J. Comput. Syst. Sci. 80(6), 1046\u20131066 (2014)","journal-title":"J. Comput. Syst. Sci."},{"key":"7_CR10","volume-title":"Knowledge in Flux","author":"P G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P.: Knowledge in Flux. The MIT Press, Cambridge (1988)"},{"issue":"2","key":"7_CR11","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1008222603071","volume":"6","author":"J Gerbrandy","year":"1997","unstructured":"Gerbrandy, J., Groeneveld, W.: Reasoning about information change. J. Log. Lang. Inf. 6(2), 147\u2013169 (1997)","journal-title":"J. Log. Lang. Inf."},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-642-35722-0_19","volume-title":"Logical Foundations of Computer Science","author":"R Kuznets","year":"2013","unstructured":"Kuznets, R., Studer, T.: Update as evidence: belief expansion. In: Artemov, S., Nerode, A. (eds.) LFCS 2013. LNCS, vol. 7734, pp. 266\u2013279. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35722-0_19"},{"key":"7_CR13","unstructured":"Kuznets, R., Studer, T.: Logics of Proofs and Justifications. College Publications. (in preparation)"},{"issue":"2","key":"7_CR14","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","volume":"158","author":"J Plaza","year":"2007","unstructured":"Plaza, J.: Logics of public communications. Synthese 158(2), 165\u2013179 (2007). Reprinted from Emrich, M.L., et al. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems (ISMIS 1989), pp. 201\u2013216. Oak Ridge National Laboratory, ORNL\/DSRD-24 (1989)","journal-title":"Synthese"},{"issue":"6","key":"7_CR15","doi-asserted-by":"publisher","first-page":"1005","DOI":"10.1093\/logcom\/exq026","volume":"21","author":"B Renne","year":"2011","unstructured":"Renne, B.: Public communication in justification logic. J. Log. Comput. 21(6), 1005\u20131034 (2011). Published online July 2010","journal-title":"J. Log. Comput."},{"key":"7_CR16","unstructured":"Steiner, D.: Belief change functions for multi-agent systems. Ph.D. thesis, University of Bern (2009)"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1007\/978-3-540-72734-7_35","volume-title":"Logical Foundations of Computer Science","author":"D Steiner","year":"2007","unstructured":"Steiner, D., Studer, T.: Total public announcements. In: Artemov, S.N., Nerode, A. (eds.) LFCS 2007. LNCS, vol. 4514, pp. 498\u2013511. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-72734-7_35"},{"key":"7_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H van Ditmarsch","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Dordrecht (2008). https:\/\/doi.org\/10.1007\/978-1-4020-5839-4"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-58771-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T17:47:30Z","timestamp":1709833650000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-58771-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783662587706","9783662587713"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-58771-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"5 February 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Indian Conference on Logic and Its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Delhi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 March 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 March 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icla2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/icla2019.cse.iitd.ac.in\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"34","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"38% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}