{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:36:57Z","timestamp":1742913417877,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030613792"},{"type":"electronic","value":"9783030613808"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-61380-8_19","type":"book-chapter","created":{"date-parts":[[2020,10,15]],"date-time":"2020-10-15T19:04:06Z","timestamp":1602788646000},"page":"272-287","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards a Theory of Hyperintensional Belief Change"],"prefix":"10.1007","author":[{"given":"Marlo","family":"Souza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,10,13]]},"reference":[{"issue":"2","key":"19_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. Logic 50(2), 510\u2013530 (1985)","journal-title":"J. Symb. Logic"},{"key":"19_CR2","series-title":"Studies in Epistemology, Logic, Methodology, and Philosophy of Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-94-009-8484-4_5","volume-title":"New Studies in Deontic Logic","author":"CE Alchourr\u00f3n","year":"1981","unstructured":"Alchourr\u00f3n, C.E., Makinson, D.: Hierarchies of regulations and their logic. In: Hilpinen, R. (ed.) New Studies in Deontic Logic. Studies in Epistemology, Logic, Methodology, and Philosophy of Science, vol. 152, pp. 125\u2013148. Springer, Heidelberg (1981). \n                    https:\/\/doi.org\/10.1007\/978-94-009-8484-4_5"},{"key":"19_CR3","unstructured":"Aucher, G.: When conditional logic and belief revision meet substructural logics. In: DARe-15 Defeasible and Ampliative Reasoning, Buenos Aires, Argentina (2015)"},{"issue":"1","key":"19_CR4","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1080\/00048402.2018.1435698","volume":"97","author":"C Badura","year":"2019","unstructured":"Badura, C., Berto, F.: Truth in fiction, impossible worlds, and belief revision. Aust. J. Philos. 97(1), 178\u2013193 (2019)","journal-title":"Aust. J. Philos."},{"issue":"3","key":"19_CR5","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/s10670-018-9971-1","volume":"84","author":"F Berto","year":"2019","unstructured":"Berto, F.: Simple hyperintensional belief revision. Erkenntnis 84(3), 559\u2013575 (2019). \n                    https:\/\/doi.org\/10.1007\/s10670-018-9971-1","journal-title":"Erkenntnis"},{"key":"19_CR6","volume-title":"Lattice Theory","author":"G Birkhoff","year":"1940","unstructured":"Birkhoff, G.: Lattice Theory, vol. 25. American Mathematical Society, Providence (1940)"},{"issue":"13","key":"19_CR7","doi-asserted-by":"publisher","first-page":"2505","DOI":"10.1007\/s11229-011-0038-y","volume":"190","author":"JC Bjerring","year":"2013","unstructured":"Bjerring, J.C.: Impossible worlds and logical omniscience: an impossibility result. Synthese 190(13), 2505\u20132524 (2013). \n                    https:\/\/doi.org\/10.1007\/s11229-011-0038-y","journal-title":"Synthese"},{"issue":"1","key":"19_CR8","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.geb.2003.10.006","volume":"49","author":"O Board","year":"2004","unstructured":"Board, O.: Dynamic interactive epistemology. Games Econ. Behav. 49(1), 49\u201380 (2004)","journal-title":"Games Econ. Behav."},{"issue":"1","key":"19_CR9","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF02314421","volume":"34","author":"MJ Cresswell","year":"1975","unstructured":"Cresswell, M.J.: Hyperintensional logic. Studia Logica: Int. J. Symb. Logic 34(1), 25\u201338 (1975)","journal-title":"Studia Logica: Int. J. Symb. Logic"},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/BF00355585","volume":"5","author":"MJ Cresswell","year":"1982","unstructured":"Cresswell, M.J., Von Stechow, A.: \u201cde re\u201d belief generalized. Linguist. Philos. 5, 503\u2013535 (1982)","journal-title":"Linguist. Philos."},{"issue":"1","key":"19_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A Darwiche","year":"1997","unstructured":"Darwiche, A., Pearl, J.: On the logic of iterated belief revision. Artif. Intell. 89(1), 1\u201329 (1997)","journal-title":"Artif. Intell."},{"key":"19_CR12","unstructured":"Delgrande, J.P.: Horn clause belief change: contraction functions. In: KR, pp. 156\u2013165 (2008)"},{"issue":"1","key":"19_CR13","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1186\/s13173-018-0072-4","volume":"24","author":"E Ferm\u00e9","year":"2018","unstructured":"Ferm\u00e9, E., Wassermann, R.: On the logic of theory change: iteration of expansion. J. Braz. Comput. Soc. 24(1), 8 (2018). \n                    https:\/\/doi.org\/10.1186\/s13173-018-0072-4","journal-title":"J. Braz. Comput. Soc."},{"key":"19_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/11574620_18","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"G Flouris","year":"2005","unstructured":"Flouris, G., Plexousakis, D., Antoniou, G.: On applying the AGM theory to DLs and OWL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 216\u2013231. Springer, Heidelberg (2005). \n                    https:\/\/doi.org\/10.1007\/11574620_18"},{"issue":"03","key":"19_CR15","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1017\/S1755020308080246","volume":"1","author":"D Gabbay","year":"2008","unstructured":"Gabbay, D., Rodrigues, O., Russo, A.: Belief revision in non-classical logics. Rev. Symb. Logic 1(03), 267\u2013304 (2008)","journal-title":"Rev. Symb. Logic"},{"key":"19_CR16","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"P G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P.: Knowledge in Flux: Modeling the Dynamics of Epistemic States. The MIT Press, Cambridge (1988)"},{"key":"19_CR17","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-319-06025-5_8","volume-title":"Johan van Benthem on Logic and Information Dynamics","author":"P Girard","year":"2014","unstructured":"Girard, P., Rott, H.: Belief revision and dynamic logic. In: Baltag, A., Smets, S. (eds.) Johan van Benthem on Logic and Information Dynamics. OCL, vol. 5, pp. 203\u2013233. Springer, Cham (2014). \n                    https:\/\/doi.org\/10.1007\/978-3-319-06025-5_8"},{"issue":"1","key":"19_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11229-015-0740-2","volume":"193","author":"P Girard","year":"2016","unstructured":"Girard, P., Tanaka, K.: Paraconsistent dynamics. Synthese 193(1), 1\u201314 (2016). \n                    https:\/\/doi.org\/10.1007\/s11229-015-0740-2","journal-title":"Synthese"},{"issue":"2","key":"19_CR19","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A Grove","year":"1988","unstructured":"Grove, A.: Two modelings for theory change. J. Philos. Logic 17(2), 157\u2013170 (1988)","journal-title":"J. Philos. Logic"},{"issue":"1","key":"19_CR20","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1016\/j.artint.2010.04.009","volume":"175","author":"JY Halpern","year":"2011","unstructured":"Halpern, J.Y., Pucella, R.: Dealing with logical omniscience: expressiveness and pragmatics. Artif. Intell. 175(1), 220\u2013235 (2011)","journal-title":"Artif. Intell."},{"issue":"2","key":"19_CR21","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF00370186","volume":"50","author":"SO Hansson","year":"1991","unstructured":"Hansson, S.O.: Belief contraction without recovery. Studia Logica 50(2), 251\u2013260 (1991). \n                    https:\/\/doi.org\/10.1007\/BF00370186","journal-title":"Studia Logica"},{"issue":"3","key":"19_CR22","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF00413568","volume":"91","author":"SO Hansson","year":"1992","unstructured":"Hansson, S.O.: Defense of base contraction. Synthese 91(3), 239\u2013245 (1992). \n                    https:\/\/doi.org\/10.1007\/BF00413568","journal-title":"Synthese"},{"issue":"1","key":"19_CR23","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1023\/A:1014654208944","volume":"70","author":"SO Hansson","year":"2002","unstructured":"Hansson, S.O., Wassermann, R.: Local change. Stud. Logica 70(1), 49\u201376 (2002)","journal-title":"Stud. Logica"},{"issue":"2","key":"19_CR24","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s11229-008-9411-x","volume":"167","author":"M Jago","year":"2009","unstructured":"Jago, M.: Logical information and epistemic space. Synthese 167(2), 327\u2013341 (2009)","journal-title":"Synthese"},{"issue":"1","key":"19_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2006.11.002","volume":"171","author":"Y Jin","year":"2007","unstructured":"Jin, Y., Thielscher, M.: Iterated belief revision, revised. Artif. Intell. 171(1), 1\u201318 (2007)","journal-title":"Artif. Intell."},{"key":"19_CR26","unstructured":"Levesque, H.J.: A logic of implicit and explicit belief. In: Proceedings of the Fourth National Conference on Artificial Intelligence, pp. 198\u2013202. American Association for Artificial Intelligence, Austin, August 1984"},{"key":"19_CR27","first-page":"106","volume":"35","author":"V Rantala","year":"1982","unstructured":"Rantala, V.: Impossible worlds semantics and logical omniscience. Acta Philosophica Fennica 35, 106\u2013115 (1982)","journal-title":"Acta Philosophica Fennica"},{"key":"19_CR28","doi-asserted-by":"crossref","unstructured":"Ribeiro, J.S., Nayak, A., Wassermann, R.: Belief change and non-monotonic reasoning sans compactness. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 33, pp. 3019\u20133026 (2019)","DOI":"10.1609\/aaai.v33i01.33013019"},{"key":"19_CR29","doi-asserted-by":"publisher","unstructured":"Ribeiro, M.M., Wassermann, R.: Base revision for ontology debugging. J. Logic Comput. 19(5), 721\u2013743 (2008). \n                    https:\/\/doi.org\/10.1093\/logcom\/exn048\n                    \n                  . \n                    http:\/\/logcom.oxfordjournals.org\/cgi\/doi\/10.1093\/logcom\/exn048","DOI":"10.1093\/logcom\/exn048"},{"key":"19_CR30","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/j.artint.2013.06.001","volume":"201","author":"MM Ribeiro","year":"2013","unstructured":"Ribeiro, M.M., Wassermann, R., Flouris, G., Antoniou, G.: Minimal change: relevance and recovery revisited. Artif. Intell. 201, 59\u201380 (2013)","journal-title":"Artif. Intell."},{"key":"19_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4186-0","volume-title":"Belief Revision in Non-classical Logics","author":"MM Ribeiro","year":"2012","unstructured":"Ribeiro, M.M.: Belief Revision in Non-classical Logics. Springer, Heidelberg (2012). \n                    https:\/\/doi.org\/10.1007\/978-1-4471-4186-0"},{"issue":"9","key":"19_CR32","doi-asserted-by":"publisher","first-page":"503","DOI":"10.2307\/2678489","volume":"97","author":"H Rott","year":"2000","unstructured":"Rott, H.: Two dogmas of belief revision. J. Philos. 97(9), 503\u2013522 (2000)","journal-title":"J. Philos."},{"issue":"5","key":"19_CR33","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1023\/A:1004344003217","volume":"28","author":"H Rott","year":"1999","unstructured":"Rott, H., Pagnucco, M.: Severe withdrawal (and recovery). J. Philos. Logic 28(5), 501\u2013547 (1999). \n                    https:\/\/doi.org\/10.1023\/A:1004344003217","journal-title":"J. Philos. Logic"},{"key":"19_CR34","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/j.ijar.2018.08.006","volume":"103","author":"YD Santos","year":"2018","unstructured":"Santos, Y.D., Matos, V.B., Ribeiro, M.M., Wassermann, R.: Partial meet pseudo-contractions. Int. J. Approx. Reason. 103, 11\u201327 (2018)","journal-title":"Int. J. Approx. Reason."},{"key":"19_CR35","doi-asserted-by":"crossref","unstructured":"Sedl\u00e1r, I.: Hyperintensional logics for everyone. Synthese, pp. 1\u201324 (2019)","DOI":"10.1007\/s11229-018-02076-7"},{"key":"19_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-319-73579-5_12","volume-title":"Dynamic Logic. New Trends and Applications","author":"M Souza","year":"2018","unstructured":"Souza, M., Moreira, \u00c1., Vieira, R.: Dynamic preference logic as a logic of belief change. In: Madeira, A., Benevides, M. (eds.) DALI 2017. LNCS, vol. 10669, pp. 185\u2013200. Springer, Cham (2018). \n                    https:\/\/doi.org\/10.1007\/978-3-319-73579-5_12"},{"issue":"2","key":"19_CR37","doi-asserted-by":"publisher","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J Van Benthem","year":"2007","unstructured":"Van Benthem, J.: Dynamic logic for belief revision. J. Appl. Non-Class. Logics 17(2), 129\u2013155 (2007)","journal-title":"J. Appl. Non-Class. Logics"},{"issue":"4","key":"19_CR38","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/BF00370163","volume":"49","author":"H Wansing","year":"1990","unstructured":"Wansing, H.: A general possible worlds framework for reasoning about knowledge and belief. Stud. Logica 49(4), 523\u2013539 (1990). \n                    https:\/\/doi.org\/10.1007\/BF00370163","journal-title":"Stud. Logica"}],"container-title":["Lecture Notes in Computer Science","Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-61380-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,17]],"date-time":"2020-10-17T08:03:07Z","timestamp":1602921787000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-61380-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030613792","9783030613808"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-61380-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"13 October 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BRACIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazilian Conference on Intelligent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rio Grande","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2020","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":"bracis2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www2.sbc.org.br\/bracis2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"JEMS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"228","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":"91","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":"0","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":"40% - 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,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)"}},{"value":"Due to the Corona pandemic BRACIS 2020 was held as a virtual event.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}