{"id":"https://openalex.org/W3205071939","doi":"https://doi.org/10.24963/kr.2021/56","title":"Belief Contraction in Non-classical logics as Hyperintensional Belief Change","display_name":"Belief Contraction in Non-classical logics as Hyperintensional Belief Change","publication_year":2021,"publication_date":"2021-09-01","ids":{"openalex":"https://openalex.org/W3205071939","doi":"https://doi.org/10.24963/kr.2021/56","mag":"3205071939"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2021/56","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2021/56","pdf_url":"https://proceedings.kr.org/2021/56/kr2021-0056-souza-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2021/56/kr2021-0056-souza-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026147454","display_name":"Marlo Souza","orcid":"https://orcid.org/0000-0002-5373-7271"},"institutions":[{"id":"https://openalex.org/I126158947","display_name":"Universidade Federal da Bahia","ror":"https://ror.org/03k3p7647","country_code":"BR","type":"education","lineage":["https://openalex.org/I126158947"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Marlo Souza","raw_affiliation_strings":["Federal University of Bahia","University of S\u00e3o Paulo"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Federal University of Bahia","institution_ids":["https://openalex.org/I126158947"]},{"raw_affiliation_string":"University of S\u00e3o Paulo","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031456220","display_name":"Renata Wassermann","orcid":"https://orcid.org/0000-0001-8065-1433"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Renata Wassermann","raw_affiliation_strings":["University of S\u00e3o Paulo"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of S\u00e3o Paulo","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5026147454"],"corresponding_institution_ids":["https://openalex.org/I126158947"],"apc_list":null,"apc_paid":null,"fwci":0.4197,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.70123541,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"588","last_page":"598"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9934999942779541,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.991599977016449,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/belief-revision","display_name":"Belief revision","score":0.8192265629768372},{"id":"https://openalex.org/keywords/popularity","display_name":"Popularity","score":0.6559298634529114},{"id":"https://openalex.org/keywords/contraction","display_name":"Contraction (grammar)","score":0.5113720297813416},{"id":"https://openalex.org/keywords/belief-structure","display_name":"Belief structure","score":0.48919156193733215},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.47397321462631226},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.45309147238731384},{"id":"https://openalex.org/keywords/belief-system","display_name":"Belief system","score":0.43294185400009155},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.305469274520874},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.23199191689491272},{"id":"https://openalex.org/keywords/social-psychology","display_name":"Social psychology","score":0.18358594179153442},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.09695571660995483},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.06261608004570007}],"concepts":[{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.8192265629768372},{"id":"https://openalex.org/C2780586970","wikidata":"https://www.wikidata.org/wiki/Q1357284","display_name":"Popularity","level":2,"score":0.6559298634529114},{"id":"https://openalex.org/C163415756","wikidata":"https://www.wikidata.org/wiki/Q126473","display_name":"Contraction (grammar)","level":2,"score":0.5113720297813416},{"id":"https://openalex.org/C44973800","wikidata":"https://www.wikidata.org/wiki/Q4882755","display_name":"Belief structure","level":2,"score":0.48919156193733215},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47397321462631226},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.45309147238731384},{"id":"https://openalex.org/C2994474205","wikidata":"https://www.wikidata.org/wiki/Q34394","display_name":"Belief system","level":2,"score":0.43294185400009155},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.305469274520874},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.23199191689491272},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.18358594179153442},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.09695571660995483},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.06261608004570007}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2021/56","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2021/56","pdf_url":"https://proceedings.kr.org/2021/56/kr2021-0056-souza-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2021/56","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2021/56","pdf_url":"https://proceedings.kr.org/2021/56/kr2021-0056-souza-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.4399999976158142,"id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3205071939.pdf","grobid_xml":"https://content.openalex.org/works/W3205071939.grobid-xml"},"referenced_works_count":62,"referenced_works":["https://openalex.org/W25697800","https://openalex.org/W144418952","https://openalex.org/W147223905","https://openalex.org/W572247739","https://openalex.org/W993718327","https://openalex.org/W1586189475","https://openalex.org/W1761876784","https://openalex.org/W1808487872","https://openalex.org/W1978847558","https://openalex.org/W2004865763","https://openalex.org/W2011667634","https://openalex.org/W2030151461","https://openalex.org/W2045165445","https://openalex.org/W2049449787","https://openalex.org/W2058889108","https://openalex.org/W2062481003","https://openalex.org/W2072960772","https://openalex.org/W2079424001","https://openalex.org/W2085022454","https://openalex.org/W2113841480","https://openalex.org/W2149420462","https://openalex.org/W2150683986","https://openalex.org/W2170431068","https://openalex.org/W2197866351","https://openalex.org/W2282567705","https://openalex.org/W2408610511","https://openalex.org/W2785389929","https://openalex.org/W2791395226","https://openalex.org/W2851809672","https://openalex.org/W2884822640","https://openalex.org/W2888869643","https://openalex.org/W2899380776","https://openalex.org/W2911088500","https://openalex.org/W2947313222","https://openalex.org/W3043998299","https://openalex.org/W3095368282","https://openalex.org/W3113922387","https://openalex.org/W3146347964","https://openalex.org/W3187249651","https://openalex.org/W3187863171","https://openalex.org/W4241442473","https://openalex.org/W4285719527","https://openalex.org/W4299317289","https://openalex.org/W6606839634","https://openalex.org/W6616177737","https://openalex.org/W6625777752","https://openalex.org/W6638310486","https://openalex.org/W6644924039","https://openalex.org/W6651779371","https://openalex.org/W6657845781","https://openalex.org/W6662891343","https://openalex.org/W6666193938","https://openalex.org/W6682168405","https://openalex.org/W6684743057","https://openalex.org/W6687811942","https://openalex.org/W6695726722","https://openalex.org/W6747890131","https://openalex.org/W6754422767","https://openalex.org/W6763072973","https://openalex.org/W6784330004","https://openalex.org/W6799205335","https://openalex.org/W6799473016"],"related_works":["https://openalex.org/W2513285642","https://openalex.org/W1982042951","https://openalex.org/W2169636436","https://openalex.org/W2120930510","https://openalex.org/W3145537972","https://openalex.org/W2118128239","https://openalex.org/W2323639922","https://openalex.org/W1557515025","https://openalex.org/W14342691","https://openalex.org/W4394659201"],"abstract_inverted_index":{"AGM's":[0,29],"belief":[1,13,84,93,99,106,120,130],"revision":[2],"is":[3,25,48],"one":[4],"of":[5,12,36,43,91],"the":[6,10,22,37,41,51],"main":[7],"paradigms":[8],"in":[9,50,101,129],"study":[11],"change":[14,94,100,121,131],"operations.":[15],"Despite":[16],"its":[17],"popularity":[18],"and":[19,40,55,95,112],"importance":[20],"to":[21,71,98,118,126],"area,":[23],"it":[24,47],"well":[26],"recognised":[27,49],"that":[28,53,66],"work":[30,87,116],"relies":[31],"on":[32],"a":[33,75,123],"strong":[34],"idealisation":[35],"agent's":[38],"capabilities":[39],"nature":[42],"beliefs":[44],"themselves.":[45],"Particularly,":[46],"literature":[52],"Belief":[54],"Knowledge":[56],"are":[57,67],"hyperintensional":[58,92,119],"attitudes,":[59],"i.e.":[60],"they":[61],"can":[62],"differentiate":[63],"between":[64],"contents":[65],"necessarily":[68],"equivalent,":[69],"but":[70],"our":[72],"knowledge,":[73],"only":[74],"few":[76],"works":[77],"have":[78],"explicitly":[79],"considered":[80],"how":[81],"hyperintensionality":[82],"affects":[83],"change.":[85],"This":[86],"investigates":[88],"abstract":[89],"operations":[90,108],"their":[96],"connection":[97],"non-classical":[102,133],"logics,":[103],"such":[104],"as":[105,122],"contraction":[107],"for":[109,132],"Horn":[110],"Logics":[111],"Description":[113],"Logics.":[114],"Our":[115],"points":[117],"general":[124],"framework":[125],"unify":[127],"results":[128],"logics.":[134]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}