{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:20Z","timestamp":1761611240019},"publisher-location":"Dordrecht","reference-count":62,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789048124862"},{"type":"electronic","value":"9781402028083"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-4020-2808-3_23","type":"book-chapter","created":{"date-parts":[[2009,3,13]],"date-time":"2009-03-13T10:51:22Z","timestamp":1236941482000},"page":"487-526","source":"Crossref","is-referenced-by-count":3,"title":["Logics For Qualitative Reasoning"],"prefix":"10.1007","author":[{"given":"Paulo A.S.","family":"Veloso","sequence":"first","affiliation":[]},{"given":"Walter A.","family":"Carnielli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1_23","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5040.001.0001","volume-title":"Nonmonotonic Reasoning","author":"G. Antoniou","year":"1997","unstructured":"Antoniou, G.: 1997, Nonmonotonic Reasoning, Cambridge, MIT Press."},{"key":"23_CR2_23","first-page":"169","volume":"4","author":"M. Black","year":"1967","unstructured":"Black, M.: 1967, \u2018Induction\u2019, in Edwards (1967) 4, 169\u2013181.","journal-title":"Edwards (1967)"},{"key":"23_CR3_23","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF00350139","volume":"4","author":"J. Barwise","year":"1981","unstructured":"Barwise, J. and R. Cooper: 1981, \u2018Generalized Quantifiers and Natural Language\u2019, Linguistics and Philosophy\n                           4, 159\u2013219.","journal-title":"Linguistics and Philosophy"},{"key":"23_CR4_23","volume-title":"Model-Theoretic Logics","author":"J. Barwise","year":"1985","unstructured":"Barwise, J. and S. Feferman: 1985, Model-Theoretic Logics, New York, Springer-Verlag."},{"key":"23_CR5_23","volume-title":"Models and Ultraproducts: an Introduction","author":"J. L. Bell","year":"1971","unstructured":"Bell, J. L. and A. B. Slomson: 1971, Models and Ultraproducts: an Introduction, Amsterdam, North-Holland, (2nd rev. pr.)."},{"key":"23_CR6_23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05689-9","volume-title":"An Introduction to Default Logic","author":"P. Besnard","year":"1989","unstructured":"Besnard, P.: 1989, An Introduction to Default Logic, Berlin, Springer-Verlag."},{"key":"23_CR7_23","volume-title":"Nonmonotonic Reasoning: Logical Foundations of Commonsense","author":"G. Brewka","year":"1991","unstructured":"Brewka, G.: 1991, Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge, Cambridge University Press."},{"key":"23_CR8_23","volume-title":"Nonmonotonic Reasoning: An Overview","author":"G. Brewka","year":"1997","unstructured":"Brewka, G., J. Dix and K. Konolige: 1997, Nonmonotonic Reasoning: An Overview, Stanford, CSLI."},{"key":"23_CR9_23","unstructured":"Carnielli, W. A. and M. C. G. Gr\u00e1cio: 2000, \u2018Modulated Logics and Uncertain Reasoning\u2019, in Proc. Kurt G\u00f6del Colloquium, Barcelona (to appear)."},{"key":"23_CR10_23","unstructured":"Carnielli, W. A. and A. M. Sette: 1994, \u2018Default Operators\u2019, Abstracts of the Workshop on Logic, Language, Information and Computation, Recife."},{"key":"23_CR11_23","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1007\/3-540-63385-5_31","volume-title":"Computational Logic and Proof Theory","author":"W. A. Carnielli","year":"1997","unstructured":"Carnielli, W. A. and P. A. S. Veloso: 1997, \u2018Ultrafilter Logic and Generic Reasoning\u2019, in G. Gottlob, A. Leitsch and D. Mundici (eds.), Computational Logic and Proof Theory, Berlin, Springer-Verlag (LNCS 1289), pp. 34\u201353."},{"key":"23_CR12_23","volume-title":"Introduction to Mathematical Logic","author":"A. Church","year":"1956","unstructured":"Church, A.: 1956, Introduction to Mathematical Logic, vol. I, Princeton, Princeton University Press."},{"key":"23_CR13_23","volume-title":"A Mathematical Introduction to Logic","author":"H. B. Enderton","year":"1972","unstructured":"Enderton, H. B.: 1972, A Mathematical Introduction to Logic, New York, Academic Press."},{"volume-title":"The Encyclopedia of Philosophy","year":"1967","key":"23_CR14_23","unstructured":"Edwards, P. (ed.): 1967, The Encyclopedia of Philosophy, London, Collier Macmillan, (repr. Macmillan, New York, 1972)."},{"key":"23_CR15_23","volume-title":"Reasoning with Arbitrary Objects","author":"K. Fine","year":"1985","unstructured":"Fine, K.: 1985, Reasoning with Arbitrary Objects, Oxford, Basil Blackwell (Aristotelian Society Series, vol. 3)."},{"key":"23_CR16_23","volume-title":"Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens","author":"G. Frege","year":"1879","unstructured":"Frege, G.: 1879, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, Louis Nebert, Halle (English translation in (van Heijenoort 1967, pp. 1\u201382))."},{"key":"23_CR17_23","volume-title":"Knowledge in Flux: Modelling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P.: 1988, Knowledge in Flux: Modelling the Dynamics of Epistemic States, Cambridge, MIT Press (Bradford Books)."},{"key":"23_CR18_23","volume-title":"Fact, Fiction and Forecast","author":"N. Goodman","year":"1955","unstructured":"Goodman, N.: 1955, Fact, Fiction and Forecast, Cambrige, Harvard University Press."},{"key":"23_CR19_23","unstructured":"Gr\u00e1cio, M. C. G.: 1999, L\u00f3gicas Moduladas e Racioc\u00ednio sob Incerteza, D. Sc. dissertation, UNICAMP, Campinas."},{"key":"23_CR20_23","volume-title":"Lectures on Boolean Algebras","author":"P. R. Halmos","year":"1963","unstructured":"Halmos, P. R.: 1963, Lectures on Boolean Algebras, Princeton, D. van Nostrand."},{"issue":"1\u201326","key":"23_CR21_23","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1093\/mind\/LIV.214.97","volume":"54","author":"C. Hempel","year":"1945","unstructured":"Hempel, C.: 1945, \u2018Studies in the Logic of Confirmation\u2019, Mind\n                           54, 1\u201326, 97\u2013121, (reprinted in (Hempel 1965, pp. 1\u201351)).","journal-title":"Mind"},{"key":"23_CR22_23","volume-title":"Aspects of Scientific Explanation and Other Essays in the Philosophy of Science","author":"C. Hempel","year":"1965","unstructured":"Hempel, C.: 1965, Aspects of Scientific Explanation and Other Essays in the Philosophy of Science, New York, Free Press."},{"key":"23_CR23_23","doi-asserted-by":"publisher","first-page":"159","DOI":"10.2307\/2267044","volume":"14","author":"L. Henkin","year":"1949","unstructured":"Henkin, L.: 1949, \u2018The Completeness of the First-order Functional Calculus\u2019, Journal of Symbolic Logic\n                           14, 159\u2013166.","journal-title":"Journal of Symbolic Logic"},{"key":"23_CR24_23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0003-4843(70)80005-5","volume":"1","author":"H. J. Keisler","year":"1970","unstructured":"Keisler, H. J.: 1970, \u2018Logic with the Quantifier there Exist Uncountably Many\u2019, Annals of Mathematical Logic\n                           1, 1\u201393.","journal-title":"Annals of Mathematical Logic"},{"key":"23_CR25_23","volume-title":"General Topology","author":"J. L. Kelley","year":"1955","unstructured":"Kelley, J. L.: 1955, General Topology, New York, D. van Nostrand."},{"volume-title":"Dictionnaire d\u2019Histoire et Philosophie des Sciences","year":"1999","key":"23_CR26_23","unstructured":"Lecourt, D. (ed.): 1999, Dictionnaire d\u2019Histoire et Philosophie des Sciences, Paris, PUF (Presse Universitaire de France)."},{"key":"23_CR27_23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/j.1755-2567.1969.tb00356.x","volume":"35","author":"P. Lindstr\u00f6m","year":"1966","unstructured":"Lindstr\u00f6m, P.: 1966, \u2018On Extensions of Elementary Logic\u2019, Theoria\n                           35, 1\u201311.","journal-title":"Theoria"},{"key":"23_CR28_23","volume-title":"Non-monotonic Reasoning: Formalization of Commonsense Reasoning","author":"W. Lukaszewicz","year":"1990","unstructured":"Lukaszewicz, W.: 1990, Non-monotonic Reasoning: Formalization of Commonsense Reasoning, Chichester, Ellis Horwood."},{"key":"23_CR29_23","volume-title":"The Logic of Theory Change","author":"D. Makinson","year":"1991","unstructured":"Makinson, D. and G\u00e4rdenfors, P.: 1991, \u2018Relations between the Logic of Theory Change and Nonmonotonic Logic\u2019, in A. Fuhrmann and M. Morreau (eds.), The Logic of Theory Change, Berlin, Springer-Verlag (LNAI 465)."},{"key":"23_CR30_23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02906-0","volume-title":"Nonmonotonic Logic: Context-dependent Reasoning","author":"V. W. Marek","year":"1993","unstructured":"Marek, V. W. and M. Truszczy\u0144ski: 1993, Nonmonotonic Logic: Context-dependent Reasoning, Berlin, Springer-Verlag."},{"key":"23_CR31_23","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1093\/jigpal\/3.4.579","volume":"3","author":"M. C. Mer\u00e9","year":"1995","unstructured":"Mer\u00e9, M. C. and P. A. A. Veloso: 1995, \u2018Definition-like Extensions by Sorts\u2019, Bulletin of the IGPL\n                           3, 579\u2013595.","journal-title":"Bulletin of the IGPL"},{"key":"23_CR32_23","unstructured":"Montague, R.: 1974, in R. Thomason (ed.), Formal Philosophy: Selected Papers, New Haven, Yale University Press."},{"key":"23_CR33_23","first-page":"1236","volume":"44","author":"A. Mostowski","year":"1957","unstructured":"Mostowski, A.: 1957, \u2018On a Generalization of Quantifiers\u2019, Fundamenta Mathematicae\n                           44, 1236.","journal-title":"Fundamenta Mathematicae"},{"key":"23_CR34_23","volume-title":"The Structure of Science: Problems in the Logic of Scientific Explanation","author":"E. Nagel","year":"1961","unstructured":"Nagel, E.: 1961, The Structure of Science: Problems in the Logic of Scientific Explanation, New York, Harcourt Brace."},{"key":"23_CR35_23","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1305\/ndjfl\/1093882414","volume":"20","author":"P. L. Peterson","year":"1979","unstructured":"Peterson, P. L.: 1979, \u2018On the Logic of \u2018Few\u2019, \u2018Many\u2019, and \u2018Most\u2019 \u2019, Notre Dame Journal of Formal Logic\n                           20, 155\u2013179.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"23_CR36_23","volume-title":"Logik der Forschung","author":"K. R. Popper","year":"1934","unstructured":"Popper, K. R.: 1934, Logik der Forschung, J. C. B. Molir, T\u00fcbingen (5. Aufl. 1973) (English translation The Logic of Scientific Discovery, New York, Basic Books, 1959 (6th edn. 1972))."},{"key":"23_CR37_23","volume-title":"Objective Knowledge: An Evolutionary Approach","author":"K. R. Popper","year":"1975","unstructured":"Popper, K. R.: 1975, Objective Knowledge: An Evolutionary Approach, Oxford, Clarendon."},{"key":"23_CR38_23","unstructured":"Renter\u00eda, C. J., E. H. Haeusler and P. A. S. Veloso: 2001, \u2018NUL: Natural Deduction for Ultrafilter Logic, Natural Deduction 2001, Rio de Janeiro (also \u2018Dedu\u00e7\u00e3o natural para l\u00f3gica de ultrafiltros\u2019, Res. Rept. MCC 16\/02, PUC-Rio, Rio de Janeiro, 2002)."},{"key":"23_CR39_23","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: 1980, \u2018A Logic for Default Reasoning\u2019, Journal of Artificial Intelligence\n                           13, 81\u2013132.","journal-title":"Journal of Artificial Intelligence"},{"key":"23_CR40_23","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1017\/S0022481200118742","volume":"27","author":"N. Rescher","year":"1962","unstructured":"Rescher, N.: 1962, \u2018Plurality Quantification\u2019, Journal of Symbolic Logic\n                           27, 373\u2013374.","journal-title":"Journal of Symbolic Logic"},{"key":"23_CR41_23","doi-asserted-by":"crossref","first-page":"78","DOI":"10.2307\/2026449","volume":"79","author":"R. D. Rosenkrantz","year":"1982","unstructured":"Rosenkrantz, R. D.: 1982, \u2018Does the Philosophy of Induction Rest on a Mistake?\u2019, Journal of Logic of Philosophy\n                           79, 78\u201397.","journal-title":"Journal of Logic of Philosophy"},{"volume-title":"The Philosophy of Rudolf Carnap","year":"1963","key":"23_CR42_23","unstructured":"Schilpp, P. A. (ed.): 1963, The Philosophy of Rudolf Carnap, La Salle, Open Court."},{"volume-title":"The Philosophy of K. R. Popper","year":"1973","key":"23_CR43_23","unstructured":"Schilpp, P. A. (ed.): 1973, The Philosophy of K. R. Popper, La Salle, Open Court."},{"key":"23_CR44_23","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1093\/logcom\/5.4.473","volume":"5","author":"K. Schlechta","year":"1995","unstructured":"Schlechta, K.: 1995, \u2018Defaults as Generalized Quantifiers\u2019, Journal of Logic and Computation\n                           5, 473\u2013494.","journal-title":"Journal of Logic and Computation"},{"key":"23_CR45_23","first-page":"127","volume-title":"Pratica: Proofs, Types and Categories","author":"A. M. Sette","year":"1999","unstructured":"Sette, A. M., W. A. Carnielli and P. A. S. Veloso: 1999, \u2018An Alternative View of Default Reasoning and its Logic\u2019, in E. H. Haeusler and L. C. Pereira (eds.), Pratica: Proofs, Types and Categories, Rio de Janeiro, PUC-Rio, pp. 127\u2013158."},{"key":"23_CR46_23","first-page":"A-765","volume":"19","author":"J. Sgro","year":"1972","unstructured":"Sgro, J.: 1972, \u2018ompleteness Teorems for Tpological Mdels\u2019 Notices of the American Mathematical Society\n                           19, A-765.","journal-title":"Notices of the American Mathematical Society"},{"key":"23_CR47_23","volume-title":"Mathematical Logic","author":"J. R. Shoenfield","year":"1967","unstructured":"Shoenfield, J. R.: 1967, Mathematical Logic, Reading, Addison-Wesley."},{"key":"23_CR48_23","doi-asserted-by":"publisher","first-page":"134","DOI":"10.2307\/3328216","volume":"48","author":"J. Slanley","year":"1988","unstructured":"Slanley, J.: 1988, \u2018A Note on \u2018Most\u2019 \u2019, Analysis\n                           48, 134\u2013135.","journal-title":"Analysis"},{"key":"23_CR49_23","unstructured":"Slomson, A. B.: 1967, Some Problems in Mathematical Logic, D. Sc. dissertation, Oxford, Oxford University."},{"key":"23_CR50_23","unstructured":"Tarski, A.: 1936, \u2018Der Wahrheitsbegriff in den formalisierten Sprachen\u2019, Studia Philosophica, pp. 261\u2013405 (English translation in (Tarski 1956, pp. 152\u2013278))."},{"key":"23_CR51_23","volume-title":"Logic, Semantics and Metamathematics: Papers from 1923 to 1938 by Alfred Tarski","author":"A. Tarski","year":"1956","unstructured":"Tarski, A.: 1956, Logic, Semantics and Metamathematics: Papers from 1923 to 1938 by Alfred Tarski (Woodger, J. H. (trans.)). Oxford, Clarendon Press."},{"key":"23_CR52_23","volume-title":"The Uses of Argument","author":"S. E. Toulmin","year":"1958","unstructured":"Toulmin, S. E.: 1958, The Uses of Argument, Cambridge, Cambridge University Press."},{"key":"23_CR53_23","volume-title":"Logics for Artificial Intelligence","author":"W. Turner","year":"1984","unstructured":"Turner, W.: 1984, Logics for Artificial Intelligence, Chichester, Ellis Horwood."},{"key":"23_CR54_23","volume-title":"From Frege to G\u00f6del: A Source Book in Mathematical Logic","author":"J. Heijenoort van","year":"1967","unstructured":"van Heijenoort, J. (ed.): 1967, From Frege to G\u00f6del: A Source Book in Mathematical Logic. Cambridge, Harvard University Press, (3rd prt)."},{"key":"23_CR55_23","unstructured":"Veloso, P. A. S.: 1998, \u2018On Ultrafilter Logic as a Logic for \u2018Almost all\u2019 and \u2018Generic\u2019 Reasoning\u2019, Res. Rept. ES-488\/98, COPPE-UFRJ, Rio de Janeiro."},{"key":"23_CR56_23","unstructured":"Veloso, P. A. S.: 1999, \u2018On \u2018Almost all\u2019 and Some Presuppositions\u2019, in L. C. P. D. Pereira and M. B. Wrigley (eds.), Logic, Language and Knowledge: Essays in Honour of Oswaldo Chateaubriand Filho, Manuscrito XXII, pp. 469\u2013505."},{"key":"23_CR57_23","first-page":"89","volume":"29","author":"P. A. S. Veloso","year":"2000","unstructured":"Veloso, P. A. S.: 2000, \u2018On the Power of Ultrafilter Logic\u2019, Bulletin of the Section of Logic\n                           29, 89\u201397.","journal-title":"Bulletin of the Section of Logic"},{"key":"23_CR58_23","first-page":"270","volume-title":"Logic, Artificial Intelligence and Robotics: LAPTEC'2001","author":"P. A. S. Veloso","year":"2001","unstructured":"Veloso, P. A. S.: 2001, \u2018On Interpolation and Modularity for Ultrafilter Logic\u2019, in J. M. Abe and J. I. Silva Filho (eds.), Logic, Artificial Intelligence and Robotics: LAPTEC'2001, Amsterdam, IOS Press, pp. 270\u2013278."},{"key":"23_CR59_23","first-page":"51","volume-title":"Linguagem e Filosofia: Anais do 2\u00b0 Simp\u00f3sio Internacional Principia","author":"P. A. S. Veloso","year":"2002","unstructured":"IOS Press Veloso, P. A. S.: 2002, \u2018Issues in Reasoning with \u2018Generally\u2019 and \u2018Rarely\u2019 \u2019, in A. O. Cupani and C. A. Mortari (eds.), Linguagem e Filosofia: Anais do 2\u00b0 Simp\u00f3sio Internacional Principia, UFSC, Florian\u00f3polis, pp. 51\u201372."},{"key":"23_CR60_23","first-page":"279","volume-title":"Logic, Artificial Intelligence and Robotics: LAPTEC'2001","author":"S. R. M. Veloso","year":"2001","unstructured":"Veloso, S. R. M. and P. A. S. Veloso: 2001, \u2018On a Logical Framework for \u2018Generally\u2019 \u2019, in J. M. Abe and J. I. Silva Filho (eds.), Logic, Artificial Intelligence and Robotics: LAPTEC'2001, Amsterdam, IOS Press, pp. 279\u2013286."},{"key":"23_CR61_23","first-page":"1","volume-title":"Advances in Artificial Intelligence: 16th Brazilian Symposium in Artificial Intelligence","author":"S. R. M. Veloso","year":"2002","unstructured":"Veloso, S. R. M. and P. A. S. Veloso: 2002, \u2018On Special Functions and Theorem Proving in Logics for \u2018Generally\u2019 \u2019, in G. Bittencourt and G. L. Ramalho (eds.), Advances in Artificial Intelligence: 16th Brazilian Symposium in Artificial Intelligence, (Lecture Notes in Artificial Intelligence 2507), Berlin, Springer-Verlag, pp. 1\u201310."},{"key":"23_CR62_23","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/BF00485052","volume":"30","author":"L. A. Zadeh","year":"1975","unstructured":"Zadeh, L. A.: 1975, \u2018Fuzzy Logic and Approximate Reasoning\u2019, Synth\u00e8se\n                           30, 407\u2013428.","journal-title":"Synth\u00e8se"}],"container-title":["Logic, Epistemology, and the Unity of Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-2808-3_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T01:21:10Z","timestamp":1619659270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-2808-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9789048124862","9781402028083"],"references-count":62,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-2808-3_23","relation":{},"subject":[]}}