{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,23]],"date-time":"2023-02-23T07:35:51Z","timestamp":1677137751302},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,4,18]],"date-time":"2017-04-18T00:00:00Z","timestamp":1492473600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s10849-017-9251-5","type":"journal-article","created":{"date-parts":[[2017,4,18]],"date-time":"2017-04-18T02:02:54Z","timestamp":1492480974000},"page":"109-141","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["In All But Finitely Many Possible Worlds: Model-Theoretic Investigations on \u2018Overwhelming Majority\u2019 Default Conditionals"],"prefix":"10.1007","volume":"26","author":[{"given":"Costas D.","family":"Koutras","sequence":"first","affiliation":[]},{"given":"Christos","family":"Rantsoudis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,18]]},"reference":[{"key":"9251_CR1","unstructured":"Arlo-Costa, H. (2014). The logic of conditionals. In E. N. Zalta, (eds.), The stanford encyclopedia of philosophy. Summer 2014 edition."},{"key":"9251_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-7622-2","volume-title":"The logic of conditionals","author":"E Adams","year":"1975","unstructured":"Adams, E. (1975). The logic of conditionals. Dordrecht: D. Reidel Publishing Co."},{"key":"9251_CR3","unstructured":"Allen, J. F., Fikes, R., & Sandewall, E. (Eds.). (1991). Proceedings of the 2nd international conference on principles of knowledge representation and reasoning (KR\u201991), Cambridge, MA, USA, April 22\u201325, 1991. Morgan Kaufmann."},{"issue":"3","key":"9251_CR4","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1080\/11663081.2016.1214804","volume":"26","author":"D Askounis","year":"2016","unstructured":"Askounis, D., Koutras, C. D., & Zikos, Y. (2016). Knowledge means \u2019all\u2019, belief means \u2019most\u2019. Journal of Applied Non-Classical Logics, 26(3), 173\u2013192.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9251_CR5","volume-title":"Modal Logic. Number 53 in Cambridge Tracts in Theoretical Computer Science","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal Logic. Number 53 in Cambridge Tracts in Theoretical Computer Science. Cambridge: Cambridge University Press."},{"issue":"3","key":"9251_CR6","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/0004-3702(90)90048-5","volume":"41","author":"J Bell","year":"1990","unstructured":"Bell, J. (1990). The logic of nonmonotonicity. Artificial Intelligence, 41(3), 365\u2013374.","journal-title":"Artificial Intelligence"},{"key":"9251_CR7","volume-title":"Reasoning with Actual and Potential Contradictions, volume 2 of handbook of defeasible reasoning and uncertainty management systems","year":"1998","unstructured":"Besnard, Ph, & Hunter, A. (Eds.). (1998). Reasoning with Actual and Potential Contradictions, volume 2 of handbook of defeasible reasoning and uncertainty management systems. Dordrecht: Kluwer Academic Publishers."},{"key":"9251_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. (2001). A logical theory of nonmonotonic inference and belief change. Berlin: Springer."},{"key":"9251_CR9","unstructured":"Boutilier, C. (1992). Conditional logics for default reasoning and belief revision. PhD thesis, University of Toronto."},{"key":"9251_CR10","unstructured":"Balbiani, Ph., Suzuki, N., Wolter, F., & Zakharyaschev, M. (Eds.). (2003). Advances in modal logic 4, papers from the fourth conference on \u201cadvances in modal logic\u201d, held in Toulouse (France) in October 2002. King\u2019s College Publications."},{"issue":"1","key":"9251_CR11","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1305\/ndjfl\/1093883341","volume":"22","author":"JP Burgess","year":"1981","unstructured":"Burgess, J. P. (1981). Quick completeness proofs for some logics of conditionals. Notre Dame Journal of Formal Logic, 22(1), 76\u201384.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9251_CR12","volume-title":"Conditionals: From philosophy to computer science. Studies in logic and computation","year":"1996","unstructured":"Crocco, G., Fari\u00f1as del Cerro, L., & Herzig, A. (Eds.). (1996). Conditionals: From philosophy to computer science. Studies in logic and computation. Oxford: Oxford University Press."},{"key":"9251_CR13","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF00693270","volume":"4","author":"B Chellas","year":"1975","unstructured":"Chellas, B. (1975). Basic conditional logic. Journal of Philosophical Logic, 4, 133\u2013153.","journal-title":"Journal of Philosophical Logic"},{"key":"9251_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal logic, an introduction","author":"B Chellas","year":"1980","unstructured":"Chellas, B. (1980). Modal logic, an introduction. Cambridge: Cambridge University Press."},{"key":"9251_CR15","unstructured":"Chagrov, A. V., & Rybakov, M. N. (2003) How many variables does one need to prove PSPACE-hardness of modal logics. In Balbiani et al. (2003), pp. 71\u201382."},{"key":"9251_CR16","unstructured":"Destercke, S., & Denoeux, Th. (Eds.). (2015). Proceedings of symbolic and quantitative approaches to reasoning with uncertainty\u201413th European conference, ECSQARU 2015, Compi\u00e8gne, France, July 15-17, 2015, volume 9161 of lecture notes in computer science. Springer."},{"issue":"1","key":"9251_CR17","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0004-3702(87)90053-1","volume":"33","author":"JP Delgrande","year":"1987","unstructured":"Delgrande, J. P. (1987). A first-order conditional logic for prototypical properties. Artificial Intelligence, 33(1), 105\u2013130.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9251_CR18","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/0004-3702(88)90079-3","volume":"36","author":"JP Delgrande","year":"1988","unstructured":"Delgrande, J. P. (1988). An approach to default reasoning based on a first-order conditional logic: Revised report. Artificial Intelligence, 36(1), 63\u201390.","journal-title":"Artificial Intelligence"},{"key":"9251_CR19","doi-asserted-by":"publisher","unstructured":"Delgrande, J. P. (1998). Conditional logics for defeasible reasoning, pp. 135\u2013173, Volume 2 of Besnard and Hunter (1998) .","DOI":"10.1007\/978-94-017-1739-7_5"},{"key":"9251_CR20","unstructured":"Delgrande, J. P. (2003). Weak conditional logics of normality. In Gottlob and Walsh (2003), pp. 873\u2013878."},{"issue":"3\u20134","key":"9251_CR21","first-page":"135","volume":"48","author":"JP Delgrande","year":"2006","unstructured":"Delgrande, J. P. (2006). On a rule-based interpretation of default conditionals. Annals of Mathematics and Artificial Intelligence, 48(3\u20134), 135\u2013167.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"9251_CR22","volume-title":"Handbook of tableau methods","year":"1999","unstructured":"D\u2019Agostino, M., Gabbay, D., Haehnle, R., & Posegga, J. (Eds.). (1999). Handbook of tableau methods. Dordrecht: Kluwer Academic Publishers."},{"key":"9251_CR23","unstructured":"Doyle, J., Sandewall, E., & Torasso, P. (Eds.). (1994). Proceedings of the 4th international conference on principles of knowledge representation and reasoning (KR\u201994), Bonn, Germany, May 24\u201327, 1994. Morgan Kaufmann."},{"issue":"2","key":"9251_CR24","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/S0004-3702(00)00073-4","volume":"124","author":"Th Eiter","year":"2000","unstructured":"Eiter, Th, & Lukasiewicz, Th. (2000). Default reasoning from conditional knowledge bases: Complexity and tractable cases. Artificial Intelligence, 124(2), 169\u2013241.","journal-title":"Artificial Intelligence"},{"key":"9251_CR25","doi-asserted-by":"publisher","unstructured":"Friedman, N., & Halpern, J. Y. (1994). On the complexity of conditional logics. In Doyle et al. (1994), pp. 202\u2013213.","DOI":"10.1016\/B978-1-4832-1452-8.50115-9"},{"issue":"3","key":"9251_CR26","first-page":"1","volume":"10","author":"L Giordano","year":"2009","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., & Pozzato, G. L. (2009). Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Transactions on Computational Logic, 10(3), 1\u201347.","journal-title":"ACM Transactions on Computational Logic"},{"issue":"1","key":"9251_CR27","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","volume":"30","author":"ML Ginsberg","year":"1986","unstructured":"Ginsberg, M. L. (1986). Counterfactuals. Artificial Intelligence, 30(1), 35\u201379.","journal-title":"Artificial Intelligence"},{"key":"9251_CR28","unstructured":"Goldblatt, R. (1992). Logics of time and computation. Number 7 in CSLI lecture notes (2nd ed.). Center for the Study of Language and Information, Stanford University."},{"key":"9251_CR29","unstructured":"Gor\u00e9, R. (1999). Tableau methods for modal and temporal logics, pp 297\u2013396. In D\u2019Agostino et al. (1999)."},{"issue":"2\u20133","key":"9251_CR30","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0004-3702(92)90071-5","volume":"53","author":"H Geffner","year":"1992","unstructured":"Geffner, H., & Pearl, J. (1992). Conditional entailment: Bridging two approaches to default reasoning. Artificial Intelligence, 53(2\u20133), 209\u2013244.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"9251_CR31","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0004-3702(91)90039-M","volume":"52","author":"M Goldszmidt","year":"1992","unstructured":"Goldszmidt, M., & Pearl, J. (1992). On the consistency of defeasible databases. Artificial Intelligence, 52(2), 121\u2013149.","journal-title":"Artificial Intelligence"},{"key":"9251_CR32","unstructured":"Gottlob, G., & Walsh, T. (Eds.). (2003). IJCAI-03, Proceedings of the eighteenth international joint conference on artificial intelligence, Acapulco, Mexico, August 9\u201315, 2003. Morgan Kaufmann."},{"issue":"2","key":"9251_CR33","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/0004-3702(95)00018-A","volume":"75","author":"JY Halpern","year":"1995","unstructured":"Halpern, J. Y. (1995). The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic. Artificial Intelligence, 75(2), 361\u2013372.","journal-title":"Artificial Intelligence"},{"key":"9251_CR34","unstructured":"Jauregui, V. (2008). Modalities, conditionals and nonmonotonic reasoning. PhD thesis, Department of Computer Science and Engineering, University of New South Wales."},{"issue":"1\u20132","key":"9251_CR35","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. (1990). Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44(1\u20132), 167\u2013207.","journal-title":"Artificial Intelligence"},{"key":"9251_CR36","doi-asserted-by":"publisher","unstructured":"Koutras, C.D., & Rantsoudis, Ch. (2015). In all, but finitely many, possible worlds: Model-theoretic investigations on \u2019overwhelming majority\u2019 default conditionals. In Destercke and Denoeux (2015), pp 117\u2013126.","DOI":"10.1007\/978-3-319-20807-7_11"},{"key":"9251_CR37","unstructured":"Lamarre, Ph. (1991) S4 as the conditional logic of nonmonotonicity. In Allen et al. (1991), pp. 357\u2013367."},{"key":"9251_CR38","volume-title":"Counterfactuals","author":"D Lewis","year":"1973","unstructured":"Lewis, D. (1973). Counterfactuals. Oxford: Blackwell."},{"issue":"2","key":"9251_CR39","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/BF00248850","volume":"10","author":"D Lewis","year":"1981","unstructured":"Lewis, D. (1981). Ordering semantics and premise semantics for counterfactuals. Journal of Philosophical Logic, 10(2), 217\u2013234.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9251_CR40","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. (1992). What does a conditional knowledge base entail? Artificial Intelligence, 55(1), 1\u201360.","journal-title":"Artificial Intelligence"},{"key":"9251_CR41","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-8966-5","volume-title":"Topics in Conditional Logic","author":"D Nute","year":"1980","unstructured":"Nute, D. (1980). Topics in Conditional Logic. Dordrecht: Kluwer."},{"key":"9251_CR42","unstructured":"Pacuit, E. (2007) Neighborhood semantics for modal logic: an introduction. Course Notes for ESSLLI 2007."},{"key":"9251_CR43","volume-title":"Probabilistic reasoning in intelligent systems: Networks of plausible inference","author":"J Pearl","year":"1988","unstructured":"Pearl, J. (1988). Probabilistic reasoning in intelligent systems: Networks of plausible inference. Burlington: Morgan Kaufmann."},{"key":"9251_CR44","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. (2010). Conditional and preferential logics: Proof methods and theorem proving. Frontiers in artificial intelligence and applications. Amsterdam: IOS Press."},{"issue":"4","key":"9251_CR45","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). Defaults as generalized quantifiers. Journal of Logic and Computation, 5(4), 473\u2013494.","journal-title":"Journal of Logic and Computation"},{"issue":"5","key":"9251_CR46","doi-asserted-by":"publisher","first-page":"753","DOI":"10.1093\/jigpal\/5.5.753","volume":"5","author":"K Schlechta","year":"1997","unstructured":"Schlechta, K. (1997). Filters and partial orders. Logic Journal of the IGPL, 5(5), 753\u2013772.","journal-title":"Logic Journal of the IGPL"},{"key":"9251_CR47","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1111\/j.1755-2567.1970.tb00429.x","volume":"36","author":"K Segerberg","year":"1970","unstructured":"Segerberg, K. (1970). Modal logics with linear alternative relations. Theoria, 36, 301\u2013322.","journal-title":"Theoria"},{"key":"9251_CR48","volume-title":"An essay in classical modal logic","author":"K Segerberg","year":"1971","unstructured":"Segerberg, K. (1971). An essay in classical modal logic. Uppsala: Filosofiska Studies."},{"key":"9251_CR49","unstructured":"Veltman, F. (1985). Logics for conditionals. PhD thesis, University of Amsterdam."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-017-9251-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-017-9251-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-017-9251-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,5]],"date-time":"2017-05-05T08:57:49Z","timestamp":1493974669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-017-9251-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4,18]]},"references-count":49,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["9251"],"URL":"https:\/\/doi.org\/10.1007\/s10849-017-9251-5","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,4,18]]}}}