{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:35:09Z","timestamp":1742992509976,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031216855"},{"type":"electronic","value":"9783031216862"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-21686-2_30","type":"book-chapter","created":{"date-parts":[[2022,11,18]],"date-time":"2022-11-18T08:30:15Z","timestamp":1668760215000},"page":"429-443","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Hyperintensional Models and\u00a0Belief Change"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5373-7271","authenticated-orcid":false,"given":"Marlo","family":"Souza","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8065-1433","authenticated-orcid":false,"given":"Renata","family":"Wassermann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,11,19]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes, T., Walicki, M.: Syntactic knowledge: a logic of reasoning, communication and cooperation. In: Proceedings of the Second European Workshop on Multi-Agent Systems (EUMAS), Barcelona, Spain. Citeseer (2004)","DOI":"10.1145\/1082473.1082660"},{"issue":"2","key":"30_CR2","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":"1","key":"30_CR3","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1111\/j.1755-2567.1982.tb00480.x","volume":"48","author":"CE Alchourr\u00f3n","year":"1982","unstructured":"Alchourr\u00f3n, C.E., Makinson, D.: On the logic of theory change: contraction functions and their associated revision functions. Theoria 48(1), 14\u201337 (1982)","journal-title":"Theoria"},{"key":"30_CR4","first-page":"9","volume":"3","author":"A Baltag","year":"2008","unstructured":"Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. Texts Logic Games 3, 9\u201358 (2008)","journal-title":"Texts Logic Games"},{"issue":"6","key":"30_CR5","doi-asserted-by":"publisher","first-page":"1277","DOI":"10.1007\/s10670-017-9875-5","volume":"82","author":"F Berto","year":"2017","unstructured":"Berto, F.: Impossible worlds and the logic of imagination. Erkenntnis 82(6), 1277\u20131297 (2017)","journal-title":"Erkenntnis"},{"issue":"517","key":"30_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/fzy045","volume":"130","author":"F Berto","year":"2021","unstructured":"Berto, F., Hawke, P.: Knowability relative to information. Mind 130(517), 1\u201333 (2021)","journal-title":"Mind"},{"issue":"3","key":"30_CR7","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)","journal-title":"Erkenntnis"},{"issue":"13","key":"30_CR8","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)","journal-title":"Synthese"},{"issue":"3","key":"30_CR9","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/s10992-018-9473-2","volume":"48","author":"JC Bjerring","year":"2019","unstructured":"Bjerring, J.C., Skipper, M.: A dynamic solution to the problem of logical omniscience. J. Philos. Log. 48(3), 501\u2013521 (2019)","journal-title":"J. Philos. Log."},{"key":"30_CR10","unstructured":"Boutilier, C.: Conditional logics for default reasoning and belief revision. Technical report, University of British Columbia (1992)"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"Bozdag, S.: A semantics for hyperintensional belief revision based on information bases. Studia Logica 1\u201338 (2021)","DOI":"10.1007\/s11225-021-09973-y"},{"issue":"1","key":"30_CR12","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/BF00649986","volume":"1","author":"MJ Cresswell","year":"1972","unstructured":"Cresswell, M.J.: Intensional logics and logical truth. J. Philos. Log. 1(1), 2\u201315 (1972)","journal-title":"J. Philos. Log."},{"issue":"1","key":"30_CR13","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"},{"issue":"3","key":"30_CR14","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1111\/j.1755-2567.1970.tb00433.x","volume":"36","author":"MJ Cresswell","year":"1970","unstructured":"Cresswell, M.J.: Classical intensional logics. Theoria 36(3), 347\u2013372 (1970)","journal-title":"Theoria"},{"issue":"1","key":"30_CR15","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)","journal-title":"Artif. Intell."},{"key":"30_CR16","unstructured":"Flouris, G.: On belief change and ontology evolution. Ph.D. thesis, University of Crete (2006)"},{"issue":"1","key":"30_CR17","doi-asserted-by":"publisher","first-page":"81","DOI":"10.2307\/2185133","volume":"95","author":"P G\u00e4rdenfors","year":"1986","unstructured":"G\u00e4rdenfors, P.: Belief revisions and the Ramsey test for conditionals. Philos. Rev. 95(1), 81\u201393 (1986)","journal-title":"Philos. Rev."},{"key":"30_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0018432","volume-title":"Logics in AI","author":"P G\u00e4rdenfors","year":"1991","unstructured":"G\u00e4rdenfors, P.: Belief revision and nonmonotonic logic: two sides of the same coin? In: van Eijck, J. (ed.) JELIA 1990. LNCS, vol. 478, pp. 52\u201354. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/BFb0018432"},{"issue":"1","key":"30_CR19","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)","journal-title":"Synthese"},{"issue":"3","key":"30_CR20","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF00413568","volume":"91","author":"SO Hansson","year":"1992","unstructured":"Hansson, S.O.: In defense of base contraction. Synthese 91(3), 239\u2013245 (1992)","journal-title":"Synthese"},{"issue":"1","key":"30_CR21","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"},{"key":"30_CR22","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198709008.001.0001","volume-title":"The Impossible: An Essay on Hyperintensionality","author":"M Jago","year":"2014","unstructured":"Jago, M.: The Impossible: An Essay on Hyperintensionality. OUP, Oxford (2014)"},{"issue":"3","key":"30_CR23","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/s11229-014-0461-y","volume":"192","author":"M Jago","year":"2015","unstructured":"Jago, M.: Hyperintensional propositions. Synthese 192(3), 585\u2013601 (2015)","journal-title":"Synthese"},{"issue":"2","key":"30_CR24","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s10992-018-9467-0","volume":"48","author":"H Leitgeb","year":"2019","unstructured":"Leitgeb, H.: HYPE: a system of hyperintensional logic (with an application to semantic paradoxes). J. Philos. Log. 48(2), 305\u2013405 (2019)","journal-title":"J. Philos. Log."},{"issue":"2","key":"30_CR25","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1023\/A:1005577906029","volume":"50","author":"S Lindstr\u00f6m","year":"1999","unstructured":"Lindstr\u00f6m, S., Rabinowicz, W.: DDL unlimited: dynamic doxastic logic for introspective agents. Erkenntnis 50(2), 353\u2013385 (1999)","journal-title":"Erkenntnis"},{"issue":"3","key":"30_CR26","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0168-0072(83)90021-0","volume":"25","author":"JA Makowsky","year":"1983","unstructured":"Makowsky, J.A., Shelah, S.: Positive results in abstract model theory: a theory of compact logics. Ann. Pure Appl. Logic 25(3), 263\u2013299 (1983)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1","key":"30_CR27","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/s11098-013-0251-2","volume":"171","author":"D Nolan","year":"2014","unstructured":"Nolan, D.: Hyperintensional metaphysics. Philos. Stud. 171(1), 149\u2013160 (2014)","journal-title":"Philos. Stud."},{"key":"30_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-94-017-0456-4_1","volume-title":"Handbook of Philosophical Logic","author":"D Nute","year":"2001","unstructured":"Nute, D., Cross, C.B.: Conditional logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, pp. 1\u201398. Springer, Dordrecht (2001). https:\/\/doi.org\/10.1007\/978-94-017-0456-4_1"},{"key":"30_CR29","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":"30_CR30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4186-0","volume-title":"Belief Revision in Non-classical Logics","author":"MM Ribeiro","year":"2013","unstructured":"Ribeiro, M.M.: Belief Revision in Non-classical Logics. Springer, Heidelberg (2013)"},{"key":"30_CR31","doi-asserted-by":"crossref","unstructured":"Rott, H.: \u2018Just because\u2019: taking belief bases seriously. In: Buss, S.R. (ed.) Lecture Notes in Logic, vol. 13, pp. 387\u2013408. Association for Symbolic Logic, Urbana (1998)","DOI":"10.1017\/9781316756140.028"},{"key":"30_CR32","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/978-3-030-61380-8_19","volume-title":"Intelligent Systems","author":"M Souza","year":"2020","unstructured":"Souza, M.: Towards a theory of hyperintensional belief change. In: Cerri, R., Prati, R.C. (eds.) BRACIS 2020. LNCS (LNAI), vol. 12320, pp. 272\u2013287. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-61380-8_19"},{"key":"30_CR33","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.tcs.2020.12.042","volume":"872","author":"M Souza","year":"2021","unstructured":"Souza, M., Vieira, R., Moreira, \u00c1.: Dynamic preference logic meets iterated belief change: representation results and postulates characterization. Theor. Comput. Sci. 872, 15\u201340 (2021)","journal-title":"Theor. Comput. Sci."},{"key":"30_CR34","doi-asserted-by":"crossref","unstructured":"Souza, M., Wassermann, R.: Belief contraction in non-classical logics as hyperintensional belief change. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, vol. 18, pp. 588\u2013598 (2021)","DOI":"10.24963\/kr.2021\/56"},{"key":"30_CR35","doi-asserted-by":"crossref","unstructured":"Souza, M., Wassermann, R.: Hyperintensional partial meet contractions. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (2022)","DOI":"10.24963\/kr.2022\/34"},{"key":"30_CR36","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-94-009-9117-0_2","volume-title":"IFS","author":"RC Stalnaker","year":"1968","unstructured":"Stalnaker, R.C.: A theory of conditionals. In: Harper, W.L., Stalnaker, R., Pearce, G. (eds.) IFS, pp. 41\u201355. Springer, Dordrecht (1968). https:\/\/doi.org\/10.1007\/978-94-009-9117-0_2"},{"issue":"2","key":"30_CR37","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s11225-005-8475-6","volume":"80","author":"N Tennant","year":"2005","unstructured":"Tennant, N.: Contracting intuitionistic theories. Stud. Logica 80(2), 369\u2013391 (2005)","journal-title":"Stud. Logica"},{"key":"30_CR38","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: On epistemic logic and logical omniscience. In: Theoretical Aspects of Reasoning About Knowledge, pp. 293\u2013305. Elsevier (1986)","DOI":"10.1016\/B978-0-934613-04-0.50024-7"},{"issue":"4","key":"30_CR39","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)","journal-title":"Stud. Logica"},{"key":"30_CR40","unstructured":"Williams, M.A.: Iterated theory base change: a computational model. In: Proceedings of the 14th International Joint Conference on Artificial intelligence, pp. 1541\u20131547 (1995)"},{"key":"30_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1755020319000686","volume":"14","author":"A \u00d6zg\u00fcn","year":"2020","unstructured":"\u00d6zg\u00fcn, A., Berto, F.: Dynamic hyperintensional belief revision. Rev. Symb. Logic 14, 1\u201346 (2020). https:\/\/doi.org\/10.1017\/S1755020319000686","journal-title":"Rev. Symb. Logic"}],"container-title":["Lecture Notes in Computer Science","Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-21686-2_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T17:12:07Z","timestamp":1709831527000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-21686-2_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031216855","9783031216862"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-21686-2_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"19 November 2022","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":"Campinas","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":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 November 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 December 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bracis2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www2.sbc.org.br\/bracis2022\/","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":"225","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":"89","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":"4","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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}