{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T21:49:52Z","timestamp":1757627392367,"version":"3.44.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032045898"},{"type":"electronic","value":"9783032045904"}],"license":[{"start":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T00:00:00Z","timestamp":1756425600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T00:00:00Z","timestamp":1756425600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-04590-4_1","type":"book-chapter","created":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T13:50:39Z","timestamp":1756734639000},"page":"3-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Comparing Dialectical Systems: Contradiction and\u00a0Counterexample in\u00a0Belief Change"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4653-7458","authenticated-orcid":false,"given":"Uri","family":"Andrews","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3156-6870","authenticated-orcid":false,"given":"Luca","family":"San Mauro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,8,29]]},"reference":[{"issue":"2","key":"1_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. Symbolic Logic 50(2), 510\u2013530 (1985). https:\/\/doi.org\/10.2307\/2274239","journal-title":"J. Symbolic Logic"},{"issue":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1093\/logcom\/exy033","volume":"29","author":"J Amidei","year":"2019","unstructured":"Amidei, J., Andrews, U., Pianigiani, D., San Mauro, L., Sorbi, A.: Trial and error mathematics: dialectical systems and completions of theories. J. Logic Comput. 29(1), 157\u2013184 (2019). https:\/\/doi.org\/10.1093\/logcom\/exy033","journal-title":"J. Logic Comput."},{"issue":"2","key":"1_CR3","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1017\/S1755020315000404","volume":"9","author":"J Amidei","year":"2016","unstructured":"Amidei, J., Pianigiani, D., San Mauro, L., Simi, G., Sorbi, A.: Trial and error mathematics i: Dialectical and quasidialectical systems. Rev. Symb. Log. 9(2), 299\u2013324 (2016). https:\/\/doi.org\/10.1017\/S1755020315000404","journal-title":"Rev. Symb. Log."},{"issue":"4","key":"1_CR4","doi-asserted-by":"publisher","first-page":"810","DOI":"10.1017\/S1755020316000253","volume":"9","author":"J Amidei","year":"2016","unstructured":"Amidei, J., Pianigiani, D., San Mauro, L., Sorbi, A.: Trial and error mathematics II: Dialectical sets and quasidialectical sets, their degrees, and their distribution within the class of limit sets. Rev. Symb. Log. 9(4), 810\u2013835 (2016). https:\/\/doi.org\/10.1017\/S1755020316000253","journal-title":"Rev. Symb. Log."},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Andrews, U., San\u00a0Mauro, L.: Comparing dialectical systems: contradiction and counterexample in belief change (extended version) (2025). https:\/\/arxiv.org\/abs\/2507.06798","DOI":"10.1007\/978-3-032-04590-4_1"},{"key":"1_CR6","unstructured":"Bernardi, C.: Aspetti ricorsivi degli insiemi dialettici. Bollettino della Unione Matematica Italiana. Series IV 9, 51\u201361 (1974)"},{"key":"1_CR7","unstructured":"Dalal, M.: Investigations into a theory of knowledge base revision: preliminary report. In: Proceedings of the Seventh AAAI National Conference on Artificial Intelligence, pp. 475\u2013479 (1988)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Ferm\u00e9, E., Hansson, S.O.: Belief change: introduction and overview. Springer (2018)","DOI":"10.1007\/978-3-319-60535-7"},{"issue":"2","key":"1_CR9","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1073\/pnas.43.2.236","volume":"43","author":"RM Friedberg","year":"1957","unstructured":"Friedberg, R.M.: Two recursively enumerable sets of incomparable degrees of unsolvability (solution of post\u2019s problem, 1944). Proc. Natl. Acad. Sci. 43(2), 236\u2013238 (1957)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"1_CR10","unstructured":"Garapa, M.P.F.: Advances on belief base dynamics. Ph.D. thesis, Universidade da Madeira (Portugal) (2017)"},{"key":"1_CR11","unstructured":"G\u00e4rdenfors, P.: The dynamics of belief systems: Foundations vs. coherence theories. Revue internationale de philosophie, pp. 24\u201346 (1990)"},{"issue":"2","key":"1_CR12","first-page":"1","volume":"29","author":"G Gnani","year":"1974","unstructured":"Gnani, G.: Insiemi dialettici generalizzati. Matematiche 29(2), 1\u201311 (1974)","journal-title":"Insiemi dialettici generalizzati. Matematiche"},{"issue":"1","key":"1_CR13","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K G\u00f6del","year":"1931","unstructured":"G\u00f6del, K.: \u00dcber formal unentscheidbare s\u00e4tze der principia mathematica und verwandter systeme i. Monatshefte f\u00fcr Mathematik und Physik 38(1), 173\u2013198 (1931). https:\/\/doi.org\/10.1007\/BF01700692","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"issue":"4","key":"1_CR14","doi-asserted-by":"publisher","first-page":"515","DOI":"10.2307\/2271872","volume":"42","author":"P H\u00e1jek","year":"1977","unstructured":"H\u00e1jek, P.: Experimental logics and $$\\pi $$30 theories1. J. Symbolic Logic 42(4), 515\u2013522 (1977)","journal-title":"J. Symbolic Logic"},{"key":"1_CR15","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, 239\u2013245 (1992)","journal-title":"Synthese"},{"issue":"3","key":"1_CR16","doi-asserted-by":"publisher","first-page":"845","DOI":"10.2307\/2275912","volume":"59","author":"SO Hansson","year":"1994","unstructured":"Hansson, S.O.: Kernel contraction. J. Symbolic Logic 59(3), 845\u2013859 (1994)","journal-title":"J. Symbolic Logic"},{"key":"1_CR17","unstructured":"Harman, G.: Change in view: principles of reasoning. The MIT Press (1986)"},{"issue":"3","key":"1_CR18","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/BF00262039","volume":"4","author":"RG Jeroslow","year":"1975","unstructured":"Jeroslow, R.G.: Experimental logics and $$\\Delta ^{0}_{2}$$-theories. J. Philos. Logic 4(3), 253\u2013267 (1975). https:\/\/doi.org\/10.1007\/BF00262039","journal-title":"J. Philos. Logic"},{"issue":"1","key":"1_CR19","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BF02414017","volume":"98","author":"R Magari","year":"1974","unstructured":"Magari, R.: Su certe teorie non enumerabili. Annali di Matematica 98(1), 119\u2013152 (1974). https:\/\/doi.org\/10.1007\/BF02414017","journal-title":"Annali di Matematica"},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s001530050043","volume":"35","author":"F Montagna","year":"1996","unstructured":"Montagna, F., Simi, G., Sorbi, A.: Logic and probabilistic systems. Arch. Math. Logic 35, 225\u2013261 (1996)","journal-title":"Arch. Math. Logic"},{"issue":"2","key":"1_CR21","first-page":"194","volume":"108","author":"AA Muchnik","year":"1956","unstructured":"Muchnik, A.A.: Negative answer to the problem of reducibility of the theory of algorithms. Dokl. Akad. Nauk SSSR 108(2), 194\u2013197 (1956)","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"1_CR22","volume-title":"Mathematical Logic","author":"JR Shoenfield","year":"1967","unstructured":"Shoenfield, J.R.: Mathematical Logic. Mass, Addison-Wesley, Reading (1967)"},{"issue":"2","key":"1_CR23","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1023\/A:1005565603303","volume":"50","author":"R Wassermann","year":"1999","unstructured":"Wassermann, R.: Resource bounded belief revision. Erkenntnis 50(2), 429\u2013446 (1999)","journal-title":"Erkenntnis"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-04590-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T02:19:11Z","timestamp":1757470751000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-04590-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,29]]},"ISBN":["9783032045898","9783032045904"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-04590-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,29]]},"assertion":[{"value":"29 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kutaisi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Georgia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.jelia.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}