{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:44:52Z","timestamp":1740123892143,"version":"3.37.3"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2022,1,7]],"date-time":"2022-01-07T00:00:00Z","timestamp":1641513600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,7]],"date-time":"2022-01-07T00:00:00Z","timestamp":1641513600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2022,4]]},"DOI":"10.1007\/s10472-021-09779-7","type":"journal-article","created":{"date-parts":[[2022,1,7]],"date-time":"2022-01-07T00:04:44Z","timestamp":1641513884000},"page":"397-424","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Default consequence relations from topology and measure theory"],"prefix":"10.1007","volume":"90","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2488-0167","authenticated-orcid":false,"given":"Costas D.","family":"Koutras","sequence":"first","affiliation":[]},{"given":"Konstantinos","family":"Liaskos","sequence":"additional","affiliation":[]},{"given":"Christos","family":"Moyzes","sequence":"additional","affiliation":[]},{"given":"Christos","family":"Nomikos","sequence":"additional","affiliation":[]},{"given":"Christos","family":"Rantsoudis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,1,7]]},"reference":[{"key":"9779_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4939-2712-8","volume-title":"Understanding Analysis","author":"S Abbott","year":"2015","unstructured":"Abbott, S.: Understanding Analysis, 2nd edn. Springer, Berlin (2015)","edition":"2"},{"key":"9779_CR2","volume-title":"Introduction to Topology: Pure and Applied","author":"C Adams","year":"2007","unstructured":"Adams, C., Franzosa, R.: Introduction to Topology: Pure and Applied. Pearson, London (2007)"},{"key":"9779_CR3","doi-asserted-by":"crossref","unstructured":"Aiello, M., Pratt-Hartmann, I., van Benthem, J. (eds.): Handbook of Spatial Logics. Springer, Berlin (2007)","DOI":"10.1007\/978-1-4020-5587-4"},{"key":"9779_CR4","doi-asserted-by":"crossref","unstructured":"Baltag, A., Bezhanishvili, N., \u00d6zg\u00fcn, A., Smets, S.: Justified belief and the topology of evidence. In: V\u00e4\u00e4na\u0307nen, J.A., Hirvonen, \u00c5., de Queiroz, R.J.G.B. (eds.) Proceedings of WoLLIC 2016 - Logic, Language, Information, and Computation, LNCS, vol. 9803, pp. 83\u2013103. Springer (2016)","DOI":"10.1007\/978-3-662-52921-8_6"},{"key":"9779_CR5","doi-asserted-by":"publisher","DOI":"10.1002\/9781118164419","volume-title":"Introduction to Real Analysis: An Educational Approach","author":"WC Bauldry","year":"2009","unstructured":"Bauldry, W.C.: Introduction to Real Analysis: An Educational Approach. Wiley, Hoboken (2009)"},{"issue":"2-3","key":"9779_CR6","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s10472-012-9310-1","volume":"65","author":"C Beierle","year":"2012","unstructured":"Beierle, C., Kern-Isberner, G.: Semantical investigations into nonmonotonic and probabilistic logics. Ann. Math. Artif. Intell. 65(2-3), 123\u2013158 (2012)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9779_CR7","volume-title":"Models and Ultraproducts","author":"JL Bell","year":"1969","unstructured":"Bell, J.L., Slomson, A.B.: Models and Ultraproducts. North-Holland, Oxford (1969)"},{"key":"9779_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04560-2","volume-title":"A Logical Theory of Nonmonotonic Inference and Belief Change","author":"A Bochman","year":"2001","unstructured":"Bochman, A.: A Logical Theory of Nonmonotonic Inference and Belief Change. Springer, Berlin (2001)"},{"key":"9779_CR9","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctvc778s8","volume-title":"Calculus Reordered: a History of the Big Ideas","author":"DM Bressoud","year":"2019","unstructured":"Bressoud, D.M.: Calculus Reordered: a History of the Big Ideas. Princeton University Press, Princeton (2019)"},{"issue":"1","key":"9779_CR10","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1080\/11663081.2017.1397325","volume":"28","author":"K Britz","year":"2018","unstructured":"Britz, K., Varzinczak, I.J.: From KLM-style conditionals to defeasible modalities, and back. J. Appl. Non-Class. Log. 28(1), 92\u2013121 (2018)","journal-title":"J. Appl. Non-Class. Log."},{"key":"9779_CR11","doi-asserted-by":"crossref","unstructured":"Carnielli, W.A., Veloso, P.A.S.: Ultrafilter logic and generic reasoning. In: Gottlob, G., Leitsch, A., Mundici, D. (eds.) Computational Logic and Proof Theory, 5th Kurt Go\u0307del Colloquium, KGC\u201997, Proceedings, LNCS, vol. 1289, pp. 34\u201353. Springer (1997)","DOI":"10.1007\/3-540-63385-5_31"},{"issue":"2","key":"9779_CR12","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/0004-3702(94)90031-0","volume":"66","author":"LF del Cerro","year":"1994","unstructured":"del Cerro, L.F., Herzig, A., Lang, J.: From ordering-based nonmonotonic reasoning to conditional logics. Artif. Intell. 66(2), 375\u2013393 (1994)","journal-title":"Artif. Intell."},{"key":"9779_CR13","volume-title":"Principles of Topology","author":"F Croom","year":"2016","unstructured":"Croom, F.: Principles of Topology. Dover Publications, Mineola (2016)"},{"issue":"6","key":"9779_CR14","doi-asserted-by":"publisher","first-page":"885","DOI":"10.1093\/logcom\/exn014","volume":"18","author":"L Cruz-Filipe","year":"2008","unstructured":"Cruz-Filipe, L., Rasga, J., Sernadas, A., Sernadas, C.: Complete axiomatization of discrete-measure almost-everywhere quantification. J. Log. Comput. 18 (6), 885\u2013911 (2008)","journal-title":"J. Log. Comput."},{"key":"9779_CR15","unstructured":"Delgrande, J.: What\u2019s in a default?. In: Brewka, G., Marek, V.W., Truszczy\u0144ski, M. (eds.) NonMonotonic Reasoning, Essays celebrating its 30th anniversary, pp. 89\u2013110. College Publications (2012)"},{"key":"9779_CR16","unstructured":"Delgrande, J.P., Renne, B.: On a minimal logic of default conditionals. In: Beierle, C., Brewka, G., Thimm, M. (eds.) Computational Models of Rationality, pp. 73\u201383. College Publications (2016)"},{"issue":"2","key":"9779_CR17","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/S0004-3702(00)00073-4","volume":"124","author":"T Eiter","year":"2000","unstructured":"Eiter, T., Lukasiewicz, T.: Default reasoning from conditional knowledge bases: complexity and tractable cases. Artif. Intell. 124(2), 169\u2013241 (2000)","journal-title":"Artif. Intell."},{"key":"9779_CR18","volume-title":"General Topology","author":"R Engelking","year":"1989","unstructured":"Engelking, R.: General Topology. Heldermann, Berlin (1989)"},{"key":"9779_CR19","unstructured":"Folland, G.B.: Real Analysis: Modern Techniques and Their Applications, 2nd edn Wiley (1999)"},{"key":"9779_CR20","doi-asserted-by":"crossref","unstructured":"Gabbay, D.: Theoretical foundations for nonmonotonic reasoning in expert systems. In: Apt, K.R. (ed.) Logic and Models of Concurrent Systems, pp. 439\u2013457. Springer (1985)","DOI":"10.1007\/978-3-642-82453-1_15"},{"key":"9779_CR21","doi-asserted-by":"crossref","unstructured":"Gabbay, D., Schlechta, K.: Conditionals and Modularity in General Logics Springer (2011)","DOI":"10.1007\/978-3-642-19068-1"},{"key":"9779_CR22","unstructured":"Gabbay, D.M., Woods, J. (eds.): Logic and the Modalities in the Twentieth Century Handbook of the History of Logic, vol. 7. Elsevier, Amsterdam (2006)"},{"key":"9779_CR23","doi-asserted-by":"crossref","unstructured":"Goldblatt, R.: Mathematical Modal Logic: a View of its Evolution, pp. 1\u201398. Vol. 7 of. In: Gabbay, D.M., Woods, J. (eds.) Logic and the Modalities in the Twentieth Century, Handbook of the History of Logic. Elsevier, Amsterdam (2006)","DOI":"10.1016\/S1874-5857(06)80027-0"},{"key":"9779_CR24","unstructured":"Greever, J.: Theory and Examples of Point-Set Topology Brooks\/Cole (1967)"},{"issue":"4","key":"9779_CR25","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1016\/j.jal.2006.03.013","volume":"5","author":"J Hawthorne","year":"2007","unstructured":"Hawthorne, J.: Nonmonotonic conditionals that behave like conditional probabilities above a threshold. J. Appl. Log. 5(4), 625\u2013637 (2007)","journal-title":"J. Appl. Log."},{"issue":"4","key":"9779_CR26","doi-asserted-by":"publisher","first-page":"731","DOI":"10.1007\/s11225-013-9523-2","volume":"102","author":"J Hawthorne","year":"2014","unstructured":"Hawthorne, J.: A primer on rational consequence relations, Popper functions, and their ranked structures. Stud. Logica. 102(4), 731\u2013749 (2014)","journal-title":"Stud. Logica."},{"issue":"2","key":"9779_CR27","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/s11225-007-9061-x","volume":"86","author":"J Hawthorne","year":"2007","unstructured":"Hawthorne, J., Makinson, D.: The quantitative\/qualitative watershed for rules of uncertain inference. Stud. Logica. 86(2), 247\u2013297 (2007)","journal-title":"Stud. Logica."},{"key":"9779_CR28","doi-asserted-by":"crossref","unstructured":"Herzig, A., Besnard, P.: Knowledge Representation: Modalities, Conditionals, and Nonmonotonic Reasoning, pp. 45\u2013 68. Vol. I: Knowledge Representation, Reasoning and Learning of. In: Marquis, P., Papini, O., Prade, H. (eds.) A Guided Tour of Artificial Intelligence Research, vol. I: Knowledge Representation, Reasoning and Learning. Springer (2020) (2020)","DOI":"10.1007\/978-3-030-06164-7_2"},{"key":"9779_CR29","volume-title":"An introduction to Real Analysis. Draft. Dept. of Mathematics","author":"JK Hunter","year":"2014","unstructured":"Hunter, J.K.: An introduction to Real Analysis. Draft. Dept. of Mathematics. University of California at Davis, Available on the Web (2014)"},{"key":"9779_CR30","unstructured":"Jauregui, V.: Modalities, conditionals and nonmonotonic reasoning. Ph.D. thesis, Department of Computer Science and Engineering University of New South Wales (2008)"},{"key":"9779_CR31","volume-title":"Discovering Modern Set Theory I: the Basics","author":"W Just","year":"1996","unstructured":"Just, W., Weese, M.: Discovering Modern Set Theory I: the Basics. American Mathematical Society, Providence (1996)"},{"key":"9779_CR32","volume-title":"Discovering Modern Set Theory II: Set-Theoretic Tools for every Mathematician","author":"W Just","year":"1997","unstructured":"Just, W., Weese, M.: Discovering Modern Set Theory II: Set-Theoretic Tools for every Mathematician. American Mathematical Society, Providence (1997)"},{"key":"9779_CR33","doi-asserted-by":"publisher","DOI":"10.1090\/stml\/075","volume-title":"Mathematics++: Selected Topics Beyond the Basic Courses","author":"I Kantor","year":"2015","unstructured":"Kantor, I., Matou\u0161ek, J., \u0160\u00e1mal, R.: Mathematics++: Selected Topics Beyond the Basic Courses. American Mathematical Society, Providence (2015)"},{"key":"9779_CR34","unstructured":"Koutras, C.D., Liaskos, K., Moyzes, C., Rantsoudis, C.: Default Reasoning via Topology and Mathematical Analysis: a preliminary report. In: Thielscher, M., Toni, F., Wolter, F. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of KR 2018, pp. 267\u2013276. AAAI Press (2018)"},{"issue":"2","key":"9779_CR35","doi-asserted-by":"publisher","first-page":"167","DOI":"10.3233\/FI-2019-1799","volume":"166","author":"CD Koutras","year":"2019","unstructured":"Koutras, C.D., Moyzes, C., Rantsoudis, C.: A Reconstruction of Default Conditionals within Epistemic Logic. Fundamenta Informaticae 166(2), 167\u2013197 (2019)","journal-title":"Fundamenta Informaticae"},{"issue":"2","key":"9779_CR36","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s10849-017-9251-5","volume":"26","author":"CD Koutras","year":"2017","unstructured":"Koutras, C.D., Rantsoudis, C.: In all but finitely many possible worlds: Model-theoretic investigations on \u2018overwhelming majority\u2019 default conditionals. Journal of Logic Language and Information 26(2), 109\u2013141 (2017)","journal-title":"Journal of Logic Language and Information"},{"issue":"1-2","key":"9779_CR37","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D.J., Magidor, M.: Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. Artif. Intell. 44(1-2), 167\u2013207 (1990)","journal-title":"Artif. Intell."},{"issue":"1","key":"9779_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"DJ Lehmann","year":"1992","unstructured":"Lehmann, D.J., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell. 55(1), 1\u201360 (1992)","journal-title":"Artif. Intell."},{"key":"9779_CR39","doi-asserted-by":"crossref","unstructured":"Makinson, D.: General patterns in nonmonotonic reasoning. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 35\u2013110. Clarendon Press - Oxford (1994)","DOI":"10.1093\/oso\/9780198537472.003.0002"},{"key":"9779_CR40","unstructured":"Makinson, D.: Bridges from Classical to Nonmonotonic Logic College Publications (2005)"},{"key":"9779_CR41","doi-asserted-by":"crossref","unstructured":"Marquis, P., Papini, O., Prade, H. (eds.): A Guided Tour of Artificial Intelligence Research. Knowledge Representation, Reasoning and Learning, vol. I. Springer, Berlin (2020)","DOI":"10.1007\/978-3-030-06164-7"},{"key":"9779_CR42","unstructured":"Marti, J., Pinosio, R.: Topological Semantics for Conditionals. In: Pun\u010doch\u00e1r, V., \u0160varn\u00fd, P. (eds.) The Logica Yearbook 2013. College Publications (2014)"},{"key":"9779_CR43","doi-asserted-by":"crossref","unstructured":"McKinsey, J.C.C., Tarski, A.: The algebra of topology. Annals of Mathematics 45 141\u2013191 (1944)","DOI":"10.2307\/1969080"},{"key":"9779_CR44","volume-title":"Notes on Set Theory","author":"YN Moschovakis","year":"2005","unstructured":"Moschovakis, Y.N.: Notes on Set Theory, 2nd edn. Undergraduate Texts in Mathematics. Springer New York, New York (2005)","edition":"2nd edn"},{"key":"9779_CR45","doi-asserted-by":"crossref","unstructured":"Parikh, R., Moss, L.S., Steinsvold, C.: Topology and Epistemic Logic, pp. 299\u2013341. In: Aiello, M., Pratt-Hartmann, I., van Benthem, J. (eds.) Handbook of Spatial Logics. Springer (2007)","DOI":"10.1007\/978-1-4020-5587-4_6"},{"issue":"2","key":"9779_CR46","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1017\/S1755020309090236","volume":"2","author":"JB Paris","year":"2009","unstructured":"Paris, J.B., Simmonds, R.: O is not enough. Rev. Symb. Log. 2 (2), 298\u2013309 (2009)","journal-title":"Rev. Symb. Log."},{"key":"9779_CR47","volume-title":"Conditional and Preferential Logics: Proof Methods and Theorem Proving. Frontiers in Artificial Intelligence and Applications","author":"GL Pozzato","year":"2010","unstructured":"Pozzato, G.L.: Conditional and Preferential Logics: Proof Methods and Theorem Proving. Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam (2010)"},{"issue":"4-5","key":"9779_CR48","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1002\/malq.201110051","volume":"59","author":"J Rasga","year":"2013","unstructured":"Rasga, J., Lotfallah, W.B., Sernadas, C.: Completeness and interpolation of almost-everywhere quantification over finitely additive measures. Math. Log. Q. 59(4-5), 286\u2013302 (2013)","journal-title":"Math. Log. Q."},{"key":"9779_CR49","volume-title":"Measures, Integrals and Martingales","author":"RL Schilling","year":"2017","unstructured":"Schilling, R.L.: Measures, Integrals and Martingales, 3nd edn. Cambridge University Press, Cambridge (2017)","edition":"3nd edn"},{"issue":"4","key":"9779_CR50","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1093\/logcom\/5.4.473","volume":"5","author":"K Schlechta","year":"1995","unstructured":"Schlechta, K.: Defaults as generalized quantifiers. J. Log. Comput. 5(4), 473\u2013494 (1995)","journal-title":"J. Log. Comput."},{"key":"9779_CR51","volume-title":"Coherent Systems","author":"K Schlechta","year":"2013","unstructured":"Schlechta, K.: Coherent Systems. Elsevier, Amsterdam (2013)"},{"issue":"3","key":"9779_CR52","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/BF02801471","volume":"70","author":"S Shelah","year":"1990","unstructured":"Shelah, S., Woodin, W.H.: Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable. Israel Journal of Mathematics 70(3), 381\u2013394 (1990)","journal-title":"Israel Journal of Mathematics"},{"key":"9779_CR53","unstructured":"Shoham, Y.: A semantical approach to nonmonotonic logics. In: Proceedings of the Symposium on Logic in Computer Science (LICS \u201987), pp. 275\u2013279. IEEE Computer Society (1987)"},{"issue":"96","key":"9779_CR54","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/1970696","volume":"2","author":"RM Solovay","year":"1970","unstructured":"Solovay, R.M.: A model of set-theory in which every set of reals is Lebesgue measurable. Ann. Math. 2(96), 1\u201356 (1970)","journal-title":"Ann. Math."},{"key":"9779_CR55","volume-title":"Counterexamples in Topology","author":"LA Steen","year":"1995","unstructured":"Steen, L.A., Seebach, J.A.: Counterexamples in Topology. Dover Publications, Mineola (1995)"},{"key":"9779_CR56","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974885","volume-title":"Models and Games","author":"J V\u00e4\u00e4n\u00e4nen","year":"2011","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Models and Games. Cambridge University Press, Cambridge (2011)"},{"issue":"3","key":"9779_CR57","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/s11225-004-6045-y","volume":"78","author":"PAS Veloso","year":"2004","unstructured":"Veloso, P.A.S., Veloso, S.R.M.: On Ultrafilter Logic and Special Functions. Stud. Logica. 78(3), 459\u2013477 (2004)","journal-title":"Stud. Logica."},{"key":"9779_CR58","doi-asserted-by":"crossref","unstructured":"Westerst\u00e5hl, D.: Generalized quantifiers. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Stanford University (2016)","DOI":"10.1017\/CBO9781139236157.008"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-021-09779-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10472-021-09779-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-021-09779-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T20:56:04Z","timestamp":1726433764000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10472-021-09779-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,7]]},"references-count":58,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,4]]}},"alternative-id":["9779"],"URL":"https:\/\/doi.org\/10.1007\/s10472-021-09779-7","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[2022,1,7]]},"assertion":[{"value":"20 October 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 January 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no relevant financial or non-financial interests to disclose, and no competing interests to declare that are relevant to the content of this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"<!--Emphasis Type='Bold' removed-->Conflict of Interests"}}]}}