{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T10:28:48Z","timestamp":1776940128339,"version":"3.51.4"},"reference-count":34,"publisher":"Association for Computing Machinery (ACM)","issue":"3","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2025,7,31]]},"abstract":"<jats:p>\n            <jats:italic toggle=\"yes\">Two-level credibility-limited revision<\/jats:italic>\n            is a non-prioritized revision operation. When revising through a two-level credibility-limited revision, two levels of credibility and one level of incredibility are considered. When revising by a sentence at the highest level of credibility, the operator behaves like a standard revision, if the sentence is at the second level of credibility, the revision process results in a standard contraction by the negation of that sentence. If the sentence is not credible, then the original belief set remains unchanged. In this article, we introduce a novel constructive method for two-level credibility-limited revision operators, based on a modified version of entrenchment relations. Additionally, we propose a semantics for this type of operators, based on Grove\u2019s systems of spheres. Furthermore, we present axiomatic characterizations for the newly proposed operators.\n          <\/jats:p>","DOI":"10.1145\/3733830","type":"journal-article","created":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T11:06:33Z","timestamp":1746443193000},"page":"1-33","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Maps between Different Kinds of Two-Level Credibility-Limited Revision Operators"],"prefix":"10.1145","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3697-1565","authenticated-orcid":false,"given":"Marco","family":"Garapa","sequence":"first","affiliation":[{"name":"Universidade da Madeira, Funchal, Portugal and Centro de Investiga\u00e7\u00e3o em Matem\u00e1tica e Aplica\u00e7\u00f5es (CIMA), \u00c9vora, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9618-2421","authenticated-orcid":false,"given":"Eduardo","family":"Ferm\u00e9","sequence":"additional","affiliation":[{"name":"Universidade da Madeira, Funchal, Portugal and NOVA Laboratory for Computer Science and Informatics (NOVA LINCS), Caparica, Portugal"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7437-8354","authenticated-orcid":false,"given":"Maur\u00edcio D. L.","family":"Reis","sequence":"additional","affiliation":[{"name":"Universidade da Madeira, Funchal, Portugal and Centro de Investiga\u00e7\u00e3o em Matem\u00e1tica e Aplica\u00e7\u00f5es (CIMA), \u00c9vora, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2025,7,12]]},"reference":[{"key":"e_1_3_3_2_2","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"},{"key":"e_1_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.297.6"},{"key":"e_1_3_3_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-022-09374-x"},{"key":"e_1_3_3_5_2","unstructured":"Eduardo Ferm\u00e9. 1999. Revising the AGM Postulates. Ph.D. Dissertation. University of Buenos Aires."},{"key":"e_1_3_3_6_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005294718935"},{"key":"e_1_3_3_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9817-0_4"},{"key":"e_1_3_3_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-011-9171-9"},{"key":"e_1_3_3_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-60535-7"},{"key":"e_1_3_3_10_2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.1.99"},{"key":"e_1_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-021-09606-8"},{"key":"e_1_3_3_12_2","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020320000283"},{"key":"e_1_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.379.23"},{"key":"e_1_3_3_14_2","first-page":"240","volume-title":"Proceedings of the 16th International Conference Principles of Knowledge Representation and Reasoning (KR \u201918)","author":"Garapa Marco","year":"2018","unstructured":"Marco Garapa, Eduardo Ferm\u00e9, and Maur\u00edcio D. L. Reis. 2018. Studies in credibility-limited base revision. In Proceedings of the 16th International Conference Principles of Knowledge Representation and Reasoning (KR \u201918). Michael Thielscher, Francesca Toni, and Frank Wolter (Eds.), AAAI Press, 240\u2013247. Retrieved from https:\/\/aaai.org\/ocs\/index.php\/KR\/KR18\/paper\/view\/17980"},{"key":"e_1_3_3_15_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2018.03.007"},{"key":"e_1_3_3_16_2","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12298"},{"key":"e_1_3_3_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2023.103907"},{"key":"e_1_3_3_18_2","first-page":"381","article-title":"Conditionals and changes of belief","volume":"30","author":"G\u00e4rdenfors Peter","year":"1978","unstructured":"Peter G\u00e4rdenfors. 1978. Conditionals and changes of belief. Acta Philosophica Fennica 30, (1978), 381\u2013404.","journal-title":"Acta Philosophica Fennica"},{"key":"e_1_3_3_19_2","first-page":"88","volume-title":"Philosophical Essays Dedicated to Lennart \u00c5qvist on His Fiftieth Birthday (Philosophical Studies, 34)","author":"G\u00e4rdenfors Peter","year":"1982","unstructured":"Peter G\u00e4rdenfors. 1982. Rules for rational changes of belief. In Philosophical Essays Dedicated to Lennart \u00c5qvist on His Fiftieth Birthday (Philosophical Studies, 34). Tom Pauli (Ed.), Philosophical Society and Department of Philosophy, University of Uppsala, Uppsala, 88\u2013101."},{"key":"e_1_3_3_20_2","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"Peter G\u00e4rdenfors","year":"1988","unstructured":"Peter G\u00e4rdenfors. 1988. Knowledge in Flux: Modeling the Dynamics of Epistemic States. The MIT Press, Cambridge."},{"key":"e_1_3_3_21_2","first-page":"83","volume-title":"Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning About Knowledge","author":"G\u00e4rdenfors Peter","year":"1988","unstructured":"Peter G\u00e4rdenfors and David Makinson. 1988. Revisions of Knowledge Systems using Epistemic Entrenchment. In Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning About Knowledge. Moshe Y. Vardi (Ed.), Morgan Kaufmann, Los Altos, 83\u201395."},{"key":"e_1_3_3_22_2","doi-asserted-by":"publisher","DOI":"10.5555\/216136.216138"},{"key":"e_1_3_3_23_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00247909"},{"key":"e_1_3_3_24_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005534223776"},{"key":"e_1_3_3_25_2","unstructured":"Sven Ove Hansson. 1999. A Textbook of Belief Dynamics. Theory Change and Database Updating. Kluwer Academic Publishers Dordrecht."},{"key":"e_1_3_3_26_2","doi-asserted-by":"publisher","DOI":"10.2307\/2694963"},{"key":"e_1_3_3_27_2","doi-asserted-by":"crossref","unstructured":"William L. Harper. 1976. Rational conceptual change. In Proceedings of the Biennial Meeting of the Philosophy of Science Association (PSA) 462\u2013494.","DOI":"10.1086\/psaprocbienmeetp.1976.2.192397"},{"key":"e_1_3_3_28_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90069-V"},{"key":"e_1_3_3_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00485649"},{"key":"e_1_3_3_30_2","volume-title":"Counterfactuals","author":"David Lewis","year":"1973","unstructured":"David Lewis. 1973. Counterfactuals. Blackwell, Oxford."},{"key":"e_1_3_3_31_2","doi-asserted-by":"publisher","DOI":"10.5555\/648066.747736"},{"key":"e_1_3_3_32_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00431184"},{"key":"e_1_3_3_33_2","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1997.tb00737.x"},{"key":"e_1_3_3_34_2","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzt037"},{"key":"e_1_3_3_35_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00284973"}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3733830","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,17]],"date-time":"2025-07-17T12:35:42Z","timestamp":1752755742000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3733830"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,12]]},"references-count":34,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,7,31]]}},"alternative-id":["10.1145\/3733830"],"URL":"https:\/\/doi.org\/10.1145\/3733830","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"value":"1529-3785","type":"print"},{"value":"1557-945X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,7,12]]},"assertion":[{"value":"2024-04-16","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-04-14","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-07-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}