{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T04:58:09Z","timestamp":1693457889712},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T00:00:00Z","timestamp":1560124800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T00:00:00Z","timestamp":1560124800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Order"],"published-print":{"date-parts":[[2020,4]]},"DOI":"10.1007\/s11083-019-09497-0","type":"journal-article","created":{"date-parts":[[2019,6,10]],"date-time":"2019-06-10T10:02:56Z","timestamp":1560160976000},"page":"151-171","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries"],"prefix":"10.1007","volume":"37","author":[{"given":"Johannes","family":"Marti","sequence":"first","affiliation":[]},{"given":"Riccardo","family":"Pinosio","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,10]]},"reference":[{"key":"9497_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0001-8708(02)00011-7","volume":"173.1","author":"K Adaricheva","year":"2003","unstructured":"Adaricheva, K., Gorbunov, V., Tumanov, V.I.: Join-semidistributive lattices and convex geometries. Adv. Math. 173.1, 1\u201349 (2003)","journal-title":"Adv. Math."},{"key":"9497_CR2","first-page":"1","volume":"23","author":"K Adaricheva","year":"2016","unstructured":"Adaricheva, K., Nation, J.B.: A class of infinite convex geometries. Electron. J. Comb. 23, 1 (2016)","journal-title":"Electron. J. Comb."},{"key":"9497_CR3","doi-asserted-by":"crossref","unstructured":"Adaricheva, K., Nation, J.B.: Convex geometries. In: Gr\u00e4tzer, G., Wehrung, F. (eds.) Lattice Theory: Special Topics and Applications, pp 153\u2013179. Springer (2016)","DOI":"10.1007\/978-3-319-44236-5_5"},{"key":"9497_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2006.05.034","volume":"165","author":"A Baltag","year":"2006","unstructured":"Baltag, A., Smets, S.: Conditional doxastic models: A qualitative approach to dynamic belief revision. Electron. Notes Theor. Comput. Sci. 165, 5\u201321 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"9497_CR5","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s11225-011-9347-x","volume":"99.1-3","author":"J van Benthem","year":"2011","unstructured":"van Benthem, J., Pacuit, E.: Dynamic logics of evidence-based beliefs. Studia Logica 99.1-3, 61\u201392 (2011)","journal-title":"Studia Logica"},{"key":"9497_CR6","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.geb.2003.10.006","volume":"49.1","author":"O Board","year":"2004","unstructured":"Board, O.: Dynamic interactive epistemology. Games Econ. Behav. 49.1, 49\u201380 (2004)","journal-title":"Games Econ. Behav."},{"key":"9497_CR7","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1305\/ndjfl\/1093883341","volume":"22.1","author":"J Burgess","year":"1981","unstructured":"Burgess, J.: Quick completeness proofs for some logics of conditionals. Notre Dame J. Formal Logic 22.1, 76\u201384 (1981)","journal-title":"Notre Dame J. Formal Logic"},{"key":"9497_CR8","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1016\/j.mathsocsci.2004.11.001","volume":"51.2","author":"VI Danilov","year":"2006","unstructured":"Danilov, V.I., Koshevoy, G.A.: A new characterization of the path independent choice functions. Math. Soc. Sci. 51.2, 238\u2013245 (2006)","journal-title":"Math. Soc. Sci."},{"key":"9497_CR9","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/s00355-014-0844-5","volume":"45.1","author":"VI Danilov","year":"2015","unstructured":"Danilov, V.I., Koshevoy, G.A., Savaglio, E.: Hyper-relations, choice functions, and orderings of opportunity sets. Social Choice Welfare 45.1, 51\u201369 (2015)","journal-title":"Social Choice Welfare"},{"key":"9497_CR10","doi-asserted-by":"crossref","unstructured":"Paul, H.: Edelman: Abstract convexity and meet-distributive lattices. In: Rival, I. (ed.) Combinatorics and Ordered Sets, vol. 57, pp 127\u2013150. Contemporary Mathematics (1986)","DOI":"10.1090\/conm\/057\/856235"},{"key":"9497_CR11","first-page":"247","volume":"19.3","author":"PH Edelman","year":"1985","unstructured":"Edelman, P.H., Jamison, R.E.: The theory of convex geometries. Geometriae Dedicata 19.3, 247\u2013270 (1985)","journal-title":"Geometriae Dedicata"},{"key":"9497_CR12","first-page":"23","volume":"5.1","author":"PH Edelman","year":"1988","unstructured":"Edelman, P.H., Saks, M.E.: Combinatorial representation and convex dimension of convex geometries. Order 5.1, 23\u201332 (1988)","journal-title":"Order"},{"key":"9497_CR13","doi-asserted-by":"publisher","first-page":"213","DOI":"10.3166\/jancl.17.213-229","volume":"17.2","author":"P Girard","year":"2007","unstructured":"Girard, P.: From onions to broccoli: Generalizing Lewis\u2019 counterfactual logic. J. Appl. Non-Classical Logics 17.2, 213\u2013229 (2007)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"9497_CR14","doi-asserted-by":"crossref","unstructured":"Girlando, M., et al.: Standard Sequent Calculi for Lewis\u2019 Logics of Counterfactuals. Logics in Artificial Intelligence. In: Michael, L., Kakas, A. (eds.) , pp 272\u2013287. Springer (2016)","DOI":"10.1007\/978-3-319-48758-8_18"},{"key":"9497_CR15","first-page":"157","volume":"17.2","author":"A Grove","year":"1988","unstructured":"Grove, A.: Two modellings for theory change. J. Philos. Logic 17.2, 157\u2013170 (1988)","journal-title":"J. Philos. Logic"},{"key":"9497_CR16","doi-asserted-by":"crossref","unstructured":"Paul, R.: Halmos: Lectures on Boolean Algebras. Springer (1974)","DOI":"10.1007\/978-1-4612-9855-7"},{"key":"9497_CR17","unstructured":"Joseph, Y.: Halpern: Reasoning About Uncertainty. MIT Press (2003)"},{"key":"9497_CR18","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/S0165-4896(00)00076-7","volume":"42.1","author":"MR Johnson","year":"2001","unstructured":"Johnson, M.R., Dean, R.A.: Locally complete path independent choice functions and their lattices. Math. Soc. Sci. 42.1, 53\u201387 (2001)","journal-title":"Math. Soc. Sci."},{"key":"9497_CR19","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.comgeo.2004.05.001","volume":"30.2","author":"K Kashiwabara","year":"2005","unstructured":"Kashiwabara, K., Nakamura, M., Okamoto, Y.: The affine representation theorem for abstract convex geometries. Comput. Geom. 30.2, 129\u2013144 (2005)","journal-title":"Comput. Geom."},{"key":"9497_CR20","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/0166-218X(86)90049-1","volume":"15.2","author":"B Korte","year":"1986","unstructured":"Korte, B., Lov\u00e1sz, L.: Homomorphisms and Ramsey properties of antimatroids. Discret. Appl. Math. 15.2, 283\u2013290 (1986)","journal-title":"Discret. Appl. Math."},{"key":"9497_CR21","doi-asserted-by":"crossref","unstructured":"Korte, B., Lov\u00e1sz, L., Schrader, R.: Greedoids. Springer (1991)","DOI":"10.1007\/978-3-642-58191-5"},{"key":"9497_CR22","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0165-4896(98)00044-4","volume":"38.1","author":"GA Koshevoy","year":"1999","unstructured":"Koshevoy, G.A.: Choice functions and abstract convex geometries. Math. Soc. Sci. 38.1, 35\u201344 (1999)","journal-title":"Math. Soc. Sci."},{"key":"9497_CR23","first-page":"201","volume":"10.2","author":"A Kratzer","year":"1981","unstructured":"Kratzer, A.: Partition and revision: The semantics of counterfactuals. J. Philos. Logic 10.2, 201\u2013216 (1981)","journal-title":"J. Philos. Logic"},{"key":"9497_CR24","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44.1\u20132","author":"S Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44.1\u20132, 167\u2013207 (1990)","journal-title":"Artif. Intell."},{"key":"9497_CR25","unstructured":"Lewis, D.: Counterfactuals. Blackwell (1973)"},{"key":"9497_CR26","doi-asserted-by":"publisher","first-page":"1119","DOI":"10.1007\/s11225-016-9669-9","volume":"104.6","author":"J Marti","year":"2016","unstructured":"Marti, J., Pinosio, R.: A game semantics for system. Studia Logica 104.6, 1119\u20131144 (2016)","journal-title":"Studia Logica"},{"key":"9497_CR27","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":"9497_CR28","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/S0165-4896(00)00061-5","volume":"41.2","author":"B Monjardet","year":"2001","unstructured":"Monjardet, B., Raderanirina, V.: The duality between the anti-exchange closure operators and the path independent choice operators on a finite Set. Math. Soc. Sci. 41.2, 131\u2013150 (2001)","journal-title":"Math. Soc. Sci."},{"key":"9497_CR29","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/BF00582748","volume":"1.4","author":"B Monjardet","year":"1985","unstructured":"Monjardet, B.: A use for frequently rediscovering a concept. Order 1.4, 415\u2013417 (1985)","journal-title":"Order"},{"key":"9497_CR30","doi-asserted-by":"crossref","unstructured":"Negri, S., Olivetti, N.: A sequent calculus for preferential conditional logic based on neighbourhood semantics. In: De Nivelle, H. (ed.) Automated Reasoning with Analytic Tableaux and Related Methods, pp 115\u2013134. Springer (2015)","DOI":"10.1007\/978-3-319-24312-2_9"},{"key":"9497_CR31","doi-asserted-by":"crossref","unstructured":"Nute, D.: Topics in Conditional Logic. Reidel (1980)","DOI":"10.1007\/978-94-009-8966-5"},{"key":"9497_CR32","doi-asserted-by":"crossref","unstructured":"Plott, C.R.: Path independence, rationality, and social choice. In: Econometrica, pp. 1075\u20131091 (1973)","DOI":"10.2307\/1914037"},{"key":"9497_CR33","unstructured":"Pozzato, G.L.: Conditional and preferential logics: Proof methods and theorem proving, vol. 208. Frontiers in Artificial Intelligence and Applications. IOS Press (2010)"},{"key":"9497_CR34","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1016\/j.disc.2016.10.006","volume":"340.5","author":"M Richter","year":"2017","unstructured":"Richter, M., Rogers, L.G.: Embedding convex geometries and a bound on convex dimension. Discret. Math. 340.5, 1059\u20131063 (2017)","journal-title":"Discret. Math."},{"key":"9497_CR35","unstructured":"Schr\u00f6der, L., Pattinson, D., Hausmann, D.: Optimal tableaux for conditional logics with cautious monotonicity. In: Coelho, H., Studer, R., Wooldridge, M. (eds.) Proceedings ECAI 2010. Frontiers in Artificial Intelligence and Applications, vol. 215, pp 707\u2013712. IOS Press (2010)"},{"key":"9497_CR36","doi-asserted-by":"crossref","unstructured":"Robert, C.: Stalnaker: A theory of conditionals. In: Rescher, N. (ed.) Studies in Logical Theory, pp 98\u2013112. Blackwell (1968)","DOI":"10.1007\/978-94-009-9117-0_2"},{"key":"9497_CR37","doi-asserted-by":"publisher","first-page":"770","DOI":"10.1016\/j.jal.2015.09.002","volume":"13.4","author":"F Touazi","year":"2015","unstructured":"Touazi, F, Cayrol, C., Dubois, D.: Possibilistic reasoning with partially ordered beliefs. J. Appl. Logic 13.4, 770\u2013798 (2015)","journal-title":"J. Appl. Logic"},{"key":"9497_CR38","unstructured":"van de Vel, M.L.J.: Theory of Convex Structures. Elsevier (1993)"},{"key":"9497_CR39","unstructured":"Veltman, F.: Logics for Conditionals. PhD thesis University of Amsterdam (1985)"},{"key":"9497_CR40","unstructured":"Veltman, F.: Prejudices, presuppositions, and the theory of counterfactuals. In: Groenendijk, J., Stokhof, M. (eds.) Amsterdam Papers in Formal Grammar, vol. 1, pp 248\u2013282 (1976)"},{"key":"9497_CR41","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/PL00000987","volume":"70.1","author":"N Wahl","year":"2001","unstructured":"Wahl, N.: Antimatroids of finite character. J. Geom. 70.1, 168\u2013175 (2001)","journal-title":"J. Geom."},{"key":"9497_CR42","doi-asserted-by":"publisher","first-page":"225","DOI":"10.12775\/LLP.1998.013","volume":"6.0","author":"F Wolter","year":"2004","unstructured":"Wolter, F.: The algebraic face of minimality. Logic Logical Philos. 6.0, 225\u2013240 (2004)","journal-title":"Logic Logical Philos."}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-019-09497-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11083-019-09497-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-019-09497-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,8]],"date-time":"2020-06-08T23:14:13Z","timestamp":1591658053000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11083-019-09497-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,10]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,4]]}},"alternative-id":["9497"],"URL":"https:\/\/doi.org\/10.1007\/s11083-019-09497-0","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"value":"0167-8094","type":"print"},{"value":"1572-9273","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,6,10]]},"assertion":[{"value":"4 May 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 May 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 June 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}