{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T21:26:47Z","timestamp":1762032407514,"version":"3.43.0"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2003,1]]},"DOI":"10.1023\/a:1022127429205","type":"journal-article","created":{"date-parts":[[2003,3,21]],"date-time":"2003-03-21T19:29:05Z","timestamp":1048274945000},"page":"25-44","source":"Crossref","is-referenced-by-count":15,"title":["Mathematical Reasoning Vs. Abductive Reasoning: A Structural Approach"],"prefix":"10.1007","volume":"134","author":[{"given":"Atocha","family":"Aliseda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"407080_CR1","unstructured":"Aliseda, A.: 1997, Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence, Ph.D. dissertation, Philosophy Department, Stanford University. Published by the Institute for Logic, Language and Computation, University of Amsterdam. (ILLC Dissertation Series 1997-4)."},{"key":"407080_CR2","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: 1984, Lessons from Bolzano, Center for the Study of Language and Information, Technical Report CSLI-84-6, Stanford University. Later published as \u2018The Variety of Consequence, According to Bolzano\u2019, Studia Logica\n44, 389\u2013403.","DOI":"10.1007\/BF00370429"},{"key":"407080_CR3","unstructured":"van Benthem, J.: 1990, General Dynamics, ILLC Prepublication Series LP-90-11, Institute for Logic, Language, and Information. University of Amsterdam."},{"key":"407080_CR4","volume-title":"Language in Action. Categories, Lambdas and Dynamic Logic","author":"J. van Benthem","year":"1991","unstructured":"van Benthem, J.: 1991, Language in Action. Categories, Lambdas and Dynamic Logic, North Holland, Amsterdam."},{"key":"407080_CR5","unstructured":"van Benthem, J.: 1996, Exploring Logical Dynamics, CSLI Publications, Stanford University."},{"key":"407080_CR6","series-title":"Technical Report CS-R9419","volume-title":"Tarskian Variations: Dynamic Parameters in Classical Semantics","author":"J. van Benthem","year":"1994","unstructured":"van Benthem, J. and G. Cepparello: 1994, Tarskian Variations: Dynamic Parameters in Classical Semantics, Technical Report CS-R9419, Centre for Mathematics and Computer Science (CWI), Amsterdam."},{"key":"407080_CR7","volume-title":"Statistical and Inductive Probability","author":"T. Carnap","year":"1955","unstructured":"Carnap, T.: 1955, Statistical and Inductive Probability, Galois Institute of Mathematics and Art, Brooklyn, NY."},{"key":"407080_CR8","unstructured":"Chaitin, G. J.: 198, The Limits of Mathematics: A Course on Information Theory and the Limits of Formal Reasoning, Springer Series in Discrete Mathematics and Theoretical Computer Science."},{"volume-title":"Substructural Logics","year":"1993","key":"407080_CR9","unstructured":"Dosen, K. and P. Schroeder-Heister (eds.): 1993, Substructural Logics, Oxford Science Publications, Clarendon Press, Oxford."},{"key":"407080_CR10","unstructured":"Flach, P. A.: 1995, Conjectures: An Inquiry Concerning the Logic of Induction, Ph.D. Thesis, Tilburg University."},{"key":"407080_CR11","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1007\/978-3-642-82453-1_15","volume-title":"Logics and Models of Concurrent Systems","author":"D. M. Gabbay","year":"1985","unstructured":"Gabbay, D. M.: 1985, \u2018Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems\u2019, in K. Apt (ed.), Logics and Models of Concurrent Systems, Springer-Verlag, Berlin, pp. 439\u2013457."},{"key":"407080_CR12","unstructured":"Gabbay, D. M.: 1994a, Labelled Deductive Systems. Part I, Oxford University Press."},{"key":"407080_CR13","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M.: 1994b, \u2018Classical vs Non-Classical Logics (The Universality of Classical Logic)\u2019, in D. M. Gabbay, C. J. Hogger and J. A. Robinson (eds.), Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 2, Deduction Methodologies, Clarendon Press, Oxford Science Publications, pp. 359\u2013500.","DOI":"10.1093\/oso\/9780198537465.003.0006"},{"key":"407080_CR14","doi-asserted-by":"crossref","unstructured":"Gillies, S.: 1996, Artificial Intelligence and Scientific Method, Oxford University Press.","DOI":"10.1093\/oso\/9780198751588.001.0001"},{"key":"407080_CR15","unstructured":"Groeneveld, W.: 1995, Logical Investigations into Dynamic Semantics. PhD Dissertation, Institute for Logic, Language and Information, University of Amsterdam. (ILLC Dissertation Series 1995-18)."},{"key":"407080_CR16","volume-title":"Patterns of Scientific Discovery","author":"N. R. Hanson","year":"1961","unstructured":"Hanson, N. R.: 1961, Patterns of Scientific Discovery, The University Press, Cambridge."},{"key":"407080_CR17","volume-title":"Aspects of Scientific Explanation and Other Essays in the Philosophy of Science","author":"C. Hempel","year":"1965","unstructured":"Hempel, C.: 1965, \u2018Aspects of Scientific Explanation\u2019, in C. Hempel (ed.), Aspects of Scientific Explanation and Other Essays in the Philosophy of Science, The Free Press, New York."},{"key":"407080_CR18","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus, S., D. Lehmann, and M. Magidor: 1990, \u2018Nonmonotonic Reasoning, Preferential Models and Cumulative Logics\u2019, Artificial Intelligence\n44, 167\u2013207.","journal-title":"Artificial Intelligence"},{"key":"407080_CR19","doi-asserted-by":"crossref","unstructured":"Lakatos, I.: 1976, Proofs and Refutations. The Logic of Mathematical Discovery, Cambridge Universiity Press.","DOI":"10.1017\/CBO9781139171472"},{"key":"407080_CR20","unstructured":"Makinson, D.: 1994, \u2018General Patterns in Nonmonotonic Reasoning\u2019, in D. M. Gabbay, C. J. Hogger and J. A. Robinson (eds), Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 3, Nonmonoptonic Reasoning and Uncertain Reasoning, Chapter 2.2, Clarendon Press, Oxford Science Publications."},{"key":"407080_CR21","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy, J.: 1980, \u2018Circumscription: A Form of Non-Monotonic Reasoning\u2019, Artificial Intelligence\n13, 27\u201339.","journal-title":"Artificial Intelligence"},{"key":"407080_CR22","volume-title":"Introduction to Mathematical Logic","author":"E. Mendelson","year":"1964","unstructured":"Mendelson, E.: 1964, Introduction to Mathematical Logic, Van Nostrand, New York."},{"key":"407080_CR23","volume-title":"Collected Papers of Charles Sanders Peirce, Volumes 1-6","author":"C. S. Peirce","year":"1958","unstructured":"Peirce, C. S.: 1958, in C. Hartshorne and P. Weiss (eds.), Collected Papers of Charles Sanders Peirce, Volumes 1-6, Harvard University Press, Cambridge; and Volumes 7-8 edited by A. W. Burks, Harvard University Press, Cambridge (1958)."},{"key":"407080_CR24","volume-title":"The Logic of Scientific Discovery","author":"K. Popper","year":"1958","unstructured":"Popper, K.: 1958, The Logic of Scientific Discovery, Hutchinson, London."},{"key":"407080_CR25","unstructured":"Quine, W. V.: 1961, \u2018On What There Is\u2019, in From a Logical Point of View, 2nd edn, Cambridge and Harvard University Press."},{"key":"407080_CR26","doi-asserted-by":"crossref","first-page":"787","DOI":"10.2307\/2024952","volume":"68","author":"D. Scott","year":"1971","unstructured":"Scott, D.: 1971, 'On Engendering an Illusion of Understanding, Journal of Philosophy\n68, 787\u2013808.","journal-title":"Journal of Philosophy"},{"key":"407080_CR27","volume-title":"Reasoning about Change. Time and Causation from the standpoint of Artificial Intelligence","author":"Y. Shoham","year":"1988","unstructured":"Shoham, Y.: 1988, Reasoning about Change. Time and Causation from the standpoint of Artificial Intelligence, The MIT Press, Cambridge, MA."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022127429205.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1022127429205\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1022127429205.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:48:48Z","timestamp":1754632128000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1022127429205"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":27,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2003,1]]}},"alternative-id":["407080"],"URL":"https:\/\/doi.org\/10.1023\/a:1022127429205","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}