{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:55:38Z","timestamp":1742950538734,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031455575"},{"type":"electronic","value":"9783031455582"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-45558-2_17","type":"book-chapter","created":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T14:02:43Z","timestamp":1698069763000},"page":"222-237","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Belief Base: A Minimal Logic of\u00a0Fine-Grained Information Dynamics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6271-9307","authenticated-orcid":false,"given":"Pengfei","family":"Song","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,10,24]]},"reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s11229-010-9764-9","volume":"177","author":"J van Benthem","year":"2010","unstructured":"van Benthem, J., Vel\u00e1zquez-Quesada, F.R.: The dynamics of awareness. Synthese 177, 5\u201327 (2010)","journal-title":"Synthese"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-18026-2_17","volume-title":"Logic and Its Applications","author":"H van Ditmarsch","year":"2011","unstructured":"van Ditmarsch, H., French, T.: Becoming aware of propositional variables. In: Banerjee, M., Seth, A. (eds.) ICLA 2011. LNCS (LNAI), vol. 6521, pp. 204\u2013218. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-18026-2_17"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-540-89378-3_2","volume-title":"AI 2008: Advances in Artificial Intelligence","author":"H van Ditmarsch","year":"2008","unstructured":"van Ditmarsch, H., Herzig, A., Lang, J., Marquis, P.: Introspective forgetting. In: Wobcke, W., Zhang, M. (eds.) AI 2008. LNCS (LNAI), vol. 5360, pp. 18\u201329. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-89378-3_2"},{"key":"17_CR4","series-title":"Synthese Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H van Ditmarsch","year":"2007","unstructured":"van Ditmarsch, H., van der Hoak, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library, vol. 337. Springer, Dordrecht (2007). https:\/\/doi.org\/10.1007\/978-1-4020-5839-4"},{"issue":"1","key":"17_CR5","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R Fagin","year":"1987","unstructured":"Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artif. Intell. 34(1), 39\u201376 (1987). https:\/\/doi.org\/10.1016\/0004-3702(87)90003-8","journal-title":"Artif. Intell."},{"key":"17_CR6","doi-asserted-by":"publisher","unstructured":"Fern\u00e1ndez-Duque, D., Nepomuceno-Fern\u00e1ndez, \u00c1., Sarri\u00f3n-Morrillo, E., Soler-Toscano, F., Vel\u00e1zquez-Quesada, F.R.: Forgetting complex propositions. Logic J. IGPL 23(6), 942\u2013965 (2015). https:\/\/doi.org\/10.1093\/jigpal\/jzv049","DOI":"10.1093\/jigpal\/jzv049"},{"issue":"2","key":"17_CR7","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/s10992-013-9281-7","volume":"43","author":"K Fine","year":"2014","unstructured":"Fine, K.: Truth-maker semantics for intuitionistic logic. J. Philos. Log. 43(2), 549\u2013577 (2014). https:\/\/doi.org\/10.1007\/s10992-013-9281-7","journal-title":"J. Philos. Log."},{"issue":"2","key":"17_CR8","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s10992-015-9371-9","volume":"45","author":"K Fine","year":"2015","unstructured":"Fine, K.: Angellic content. J. Philos. Log. 45(2), 199\u2013226 (2015). https:\/\/doi.org\/10.1007\/s10992-015-9371-9","journal-title":"J. Philos. Log."},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-642-04893-7_12","volume-title":"Logic, Rationality, and Interaction","author":"D Grossi","year":"2009","unstructured":"Grossi, D., Vel\u00e1zquez-Quesada, F.R.: Twelve angry men: a study on the fine-grain of announcements. In: He, X., Horty, J., Pacuit, E. (eds.) LORI 2009. LNCS (LNAI), vol. 5834, pp. 147\u2013160. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04893-7_12"},{"issue":"12","key":"17_CR10","doi-asserted-by":"publisher","first-page":"4071","DOI":"10.1007\/s11229-015-0733-1","volume":"192","author":"D Grossi","year":"2015","unstructured":"Grossi, D., Vel\u00e1zquez-Quesada, F.R.: Syntactic awareness in logical dynamics. Synthese 192(12), 4071\u20134105 (2015). https:\/\/doi.org\/10.1007\/s11229-015-0733-1","journal-title":"Synthese"},{"issue":"1","key":"17_CR11","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.jet.2005.02.007","volume":"130","author":"A Heifetz","year":"2006","unstructured":"Heifetz, A., Meier, M., Schipper, B.C.: Interactive unawareness. J. Econ. Theory 130(1), 78\u201394 (2006). https:\/\/doi.org\/10.1016\/j.jet.2005.02.007","journal-title":"J. Econ. Theory"},{"key":"17_CR12","volume-title":"Knowledge and belief","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and belief. Cornell University Press, Ithaca (1962)"},{"key":"17_CR13","unstructured":"de Jager, S.: \u201cNow that you mention it, I wonder...\u201d : awareness, attention, assumption. PhD dissertation, Institute for Logic, Language and Computation, University of Amsterdam (2009)"},{"key":"17_CR14","unstructured":"Levesque, H.J.: A logic of implicit and explicit belief. In: Proceedings of the Fourth AAAI Conference on Artificial Intelligence, pp. 198\u2013202. AAAI 1984, AAAI Press (1984)"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Lorini, E.: In praise of belief bases: doing epistemic logic without possible worlds. In: McIlraith, S.A., Weinberger, K.Q. (eds.) Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18), pp. 1915\u20131922. AAAI Press (2018)","DOI":"10.1609\/aaai.v32i1.11560"},{"key":"17_CR16","doi-asserted-by":"publisher","first-page":"103233","DOI":"10.1016\/j.artint.2020.103233","volume":"282","author":"E Lorini","year":"2020","unstructured":"Lorini, E.: Rethinking epistemic logic with belief bases. Artif. Intell. 282, 103233 (2020). https:\/\/doi.org\/10.1016\/j.artint.2020.103233","journal-title":"Artif. Intell."},{"key":"17_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-030-65840-3_11","volume-title":"Dynamic Logic. New Trends and Applications","author":"E Lorini","year":"2020","unstructured":"Lorini, E., Song, P.: Grounding awareness on belief bases. In: Martins, M.A., Sedl\u00e1r, I. (eds.) DaLi 2020. LNCS, vol. 12569, pp. 170\u2013186. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-65840-3_11"},{"key":"17_CR18","doi-asserted-by":"publisher","first-page":"1463","DOI":"10.1093\/logcom\/exac035","volume":"33","author":"E Lorini","year":"2022","unstructured":"Lorini, E., Song, P.: A computationally grounded logic of awareness. J. Logic Comput. 33, 1463\u20131496 (2022). https:\/\/doi.org\/10.1093\/logcom\/exac035","journal-title":"J. Logic Comput."},{"issue":"1","key":"17_CR19","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF01079207","volume":"37","author":"S Modica","year":"1994","unstructured":"Modica, S., Rustichini, A.: Awareness and partitional information structures. Theor. Decis. 37(1), 107\u2013124 (1994). https:\/\/doi.org\/10.1007\/BF01079207","journal-title":"Theor. Decis."},{"issue":"2","key":"17_CR20","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1006\/game.1998.0666","volume":"27","author":"S Modica","year":"1999","unstructured":"Modica, S., Rustichini, A.: Unawareness and partitional information structures. Games Econ. Behav. 27(2), 265\u2013298 (1999). https:\/\/doi.org\/10.1006\/game.1998.0666","journal-title":"Games Econ. Behav."},{"key":"17_CR21","unstructured":"Plaza, J.: Logics of public communications. In: Emrich, M., Pfeifer, M., Hadzikadic, M., Ras, Z. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201\u2013216 (1989)"},{"key":"17_CR22","doi-asserted-by":"publisher","unstructured":"\u00c5gotnes, T., Alechina, N.: Full and relative awareness: a decidable logic for reasoning about knowledge of unawareness. In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 6\u201314. TARK 2007, Association for Computing Machinery, New York, NY, USA (2007). https:\/\/doi.org\/10.1145\/1324249.1324255","DOI":"10.1145\/1324249.1324255"},{"key":"17_CR23","unstructured":"Russell, B.: Pragmatism. Philosophical Essays. Longmans, Green (1910)"},{"issue":"2","key":"17_CR24","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1007\/s10992-022-09684-2","volume":"52","author":"P Song","year":"2023","unstructured":"Song, P., Xiong, W.: Awareness as potential for knowledge. J. Philos. Log. 52(2), 669\u2013703 (2023). https:\/\/doi.org\/10.1007\/s10992-022-09684-2","journal-title":"J. Philos. Log."},{"key":"17_CR25","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.artint.2017.11.004","volume":"256","author":"H van Ditmarsch","year":"2018","unstructured":"van Ditmarsch, H., French, T., Vel\u00e1zquez-Quesada, F.R., W\u00e1ng, Y.N.: Implicit, explicit and speculative knowledge. Artif. Intell. 256, 35\u201367 (2018). https:\/\/doi.org\/10.1016\/j.artint.2017.11.004","journal-title":"Artif. Intell."},{"issue":"2","key":"17_CR26","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/s11229-009-9556-2","volume":"169","author":"FR Vel\u00e1zquez-Quesada","year":"2009","unstructured":"Vel\u00e1zquez-Quesada, F.R.: Inference and update. Synthese 169(2), 283\u2013300 (2009). https:\/\/doi.org\/10.1007\/s11229-009-9556-2","journal-title":"Synthese"},{"key":"17_CR27","doi-asserted-by":"crossref","unstructured":"Yablo, S.: Aboutness. In: Hempel, C.G. (ed.) Lecture Series. Princeton University Press (2014)","DOI":"10.23943\/princeton\/9780691144955.001.0001"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-45558-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T14:04:44Z","timestamp":1698069884000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-45558-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031455575","9783031455582"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-45558-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"24 October 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LORI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Logic, Rationality and Interaction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Jinan","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lori2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/golori.org\/lori2023\/","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":"32","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":"17","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":"7","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":"53% - 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":"2.5","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)"}}]}}