{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T11:27:23Z","timestamp":1750850843666},"reference-count":57,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2019,5,1]]},"DOI":"10.1215\/00294527-2019-0006","type":"journal-article","created":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T14:39:20Z","timestamp":1557153560000},"source":"Crossref","is-referenced-by-count":1,"title":["A Modal Logic of Supervenience"],"prefix":"10.1215","volume":"60","author":[{"given":"Jie","family":"Fan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"7","unstructured":"[7] Fan, J., \u201cA modal logic of supervenience,\u201d preprint, <a href=\"arXiv:1611.04740\">arXiv:1611.04740<\/a> [math.LO]."},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] Goranko V., and A. Kuusisto, \u201cLogics for propositional determinacy and independence,\u201d preprint, <a href=\"arXiv:1609.07398v1\">arXiv:1609.07398v1<\/a> [math.LO].","DOI":"10.1017\/S1755020317000272"},{"key":"13","unstructured":"[13] Grossi, D., E. Lorini, and F. Schwarzentruber, \u201cCeteris paribus structure in logics of game forms,\u201d pp. 94\u2013104 in <i>Proceedings of the Fourteenth Conference on Theoretical Aspects of Rationality and Knowledge<\/i>, edited by Burkhard C. Schipper, 2013, <a href=\"arXiv:1310.6382\">arXiv:1310.6382<\/a> [cs.GT]."},{"key":"46","unstructured":"[46] McLaughlin, B., and K. Bennett, \u201cSupervenience,\u201d in <i>The Stanford Encyclopedia of Philosophy<\/i>, edited by Edward N. Zalta, 2014, <a href=\"https:\/\/plato.stanford.edu\/entries\/supervenience\/\">https:\/\/plato.stanford.edu\/entries\/supervenience\/<\/a>."},{"key":"51","unstructured":"[51] Reutlinger, A., G. Schurz, and A. H\u00fcttemann, \u201cCeteris paribus laws,\u201d in <i>The Stanford Encyclopedia of Philosophy<\/i>, edited by Edward N. Zalta, 2015, <a href=\"https:\/\/plato.stanford.edu\/entries\/ceteris-paribus\/\">https:\/\/plato.stanford.edu\/entries\/ceteris-paribus\/<\/a>."},{"key":"52","unstructured":"[52] Rickles, D., \u201cSupervenience and determination,\u201d in <i>Internet Encyclopedia of Philosophy<\/i>, edited by J. Fieser and B. Dowden, 2006, <a href=\"https:\/\/www.iep.utm.edu\/superven\/\">https:\/\/www.iep.utm.edu\/superven\/<\/a>."},{"key":"53","unstructured":"[53] Stoljar, D., \u201cPhysicalism,\u201d in <i>The Stanford Encyclopedia of Philosophy<\/i>, edited by Edward N. Zalta, 2015, <a href=\"https:\/\/plato.stanford.edu\/entries\/physicalism\/\">https:\/\/plato.stanford.edu\/entries\/physicalism\/<\/a>."},{"key":"1","unstructured":"[1] Blackburn, P., M. de Rijke, and Y. Venema, <i>Modal Logic<\/i>, vol. 53 of <i>Cambridge Tracts in Theoretical Computer Science<\/i>, Cambridge University Press, Cambridge, 2001."},{"key":"2","unstructured":"[2] Davidson, D., \u201cMental events,\u201d pp. 79\u2013101 in <i>Experience and Theory<\/i>, edited by L. Foster and J. W. Swanson, University of Massachusetts Press, Amherst, 1970. Reprinted in [4]."},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Davidson, D., \u201cThe material mind,\u201d pp. 709\u201322 in <i>Logic, Methodology, and the Philosophy of Science<\/i>, edited by P. Suppes, North-Holland, Amsterdam, 1973. Reprinted in [4].","DOI":"10.1016\/S0049-237X(09)70396-9"},{"key":"4","unstructured":"[4] Davidson, D., <i>Essays on Actions and Events<\/i>, Clarendon, Oxford, 1980."},{"key":"5","unstructured":"[5] Davidson, D., \u201cReplies to essays X\u2013XII,\u201d pp. 242\u201352 in <i>Essays on Davidson: Actions and Events<\/i>, edited by Bruce Vermazen and Merrill B. Hintikka, Clarendon Press, Oxford, 1985."},{"key":"6","unstructured":"[6] Doyle, J., and M. P. Wellman, \u201cRepresenting preferences as ceteris paribus comparatives,\u201d pp. 69\u201375 in <i>Proceedings of the AAAI Spring Symposium on Decision-Theoretic Planning<\/i>, edited by Steve Hanks, Stuart Russell, and Michael Wellman, March 1994."},{"key":"8","unstructured":"[8] Fan, J., Y. Wang, and H. van Ditmarsch, \u201cAlmost necessary,\u201d pp. 178\u201396 in <i>Advances in Modal Logic<\/i>, vol. 10, College Publications, London, 2014."},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Fan, J., Y. Wang, and H. van Ditmarsch, \u201cContingency and knowing whether,\u201d <i>Review of Symbolic Logic<\/i>, vol. 8 (2015), no. 1, pp. 75\u2013107.","DOI":"10.1017\/S1755020314000343"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Girard, P., and M. A. Triplett, \u201cCeteris paribus logic in counterfactual reasoning,\u201d pp. 176\u201393 in <i>Proceedings of the Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge<\/i>, edited by R. Ramanujam, vol. 215 of <i>Electronic Proceedings in Theoretical Computer Science<\/i>, EPTCS, 2016.","DOI":"10.1007\/s11229-016-1296-5"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Goranko V., and A. Kuusisto, \u201cLogics for propositional determinacy and independence,\u201d <i>Review of Symbolic Logic<\/i>, vol. 11 (2018), no. 3, pp. 470\u2013506.","DOI":"10.1017\/S1755020317000272"},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Grossi, D., E. Lorini, and F. Schwarzentruber, \u201cThe ceteris paribus structure of logics of game forms,\u201d <i>Journal of Artificial Intelligence Research<\/i>, vol. 53 (2015), pp. 96\u2013126.","DOI":"10.1613\/jair.4666"},{"key":"15","unstructured":"[15] Hare, R. M., <i>The Language of Morals<\/i>, Oxford University Press, Oxford, 1952."},{"key":"16","unstructured":"[16] Haugeland, J., \u201cWeak supervenience,\u201d <i>American Philosophical Quarterly<\/i>, vol. 19 (1982), pp. 93\u2013103."},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] Hellman, G., and F. Thompson, \u201cPhysicalism: Ontology, determination, and reduction,\u201d <i>Journal of Philosophy<\/i>, vol. 72 (1975), pp. 551\u2013564.","DOI":"10.2307\/2025067"},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] Hofweber, T., \u201cSupervenience and object-dependent properties,\u201d <i>Journal of Philosophy<\/i>, vol. 102 (2005), pp. 5\u201332.","DOI":"10.5840\/jphil2005102128"},{"key":"19","unstructured":"[19] Horgan, T., \u201cToken physicalism, supervenience, and the generality of physics,\u201d <i>Synthese<\/i>, vol. 49 (1981), 395\u2013413."},{"key":"20","doi-asserted-by":"crossref","unstructured":"[20] Horgan, T., \u201cSupervenience and microphysics,\u201d <i>Pacific Philosophical Quarterly<\/i>, vol. 63 (1982), pp. 29\u201343.","DOI":"10.1111\/j.1468-0114.1982.tb00084.x"},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] Horgan, T., \u201cFrom supervenience to superdupervenience: Meeting the demands of a material world,\u201d <i>Mind<\/i>, vol. 102 (1993), pp. 555\u201386.","DOI":"10.1093\/mind\/102.408.555"},{"key":"22","unstructured":"[22] Humberstone, L., \u201cSome structural and logical aspects of the notion of supervenience,\u201d <i>Logique et Analyse<\/i>, vol. 35 (1992), pp. 101\u201337."},{"key":"23","doi-asserted-by":"publisher","unstructured":"[23] Humberstone, L., \u201cFunctional dependencies, supervenience, and consequence relations,\u201d <i>Journal of Logic, Language and Information<\/i>, vol. 2 (1993), pp. 309\u201336.","DOI":"10.1007\/BF01181684"},{"key":"24","doi-asserted-by":"publisher","unstructured":"[24] Humberstone, L., \u201cThe logic of non-contingency,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 36 (1995), no. 2, pp. 214\u2013229.","DOI":"10.1305\/ndjfl\/1040248455"},{"key":"25","doi-asserted-by":"publisher","unstructured":"[25] Humberstone, L., \u201cClasses of valuations closed under operations Galois-dual to Boolean sentence connectives,\u201d <i>Publications of the Research Institute for Mathematical Sciences<\/i>, vol. 32 (1996), pp. 9\u201384.","DOI":"10.2977\/prims\/1195163180"},{"key":"26","doi-asserted-by":"publisher","unstructured":"[26] Humberstone, L., \u201cNote on supervenience and definability,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 39 (1998), no. 2, 243\u201352.","DOI":"10.1305\/ndjfl\/1039293066"},{"key":"27","doi-asserted-by":"publisher","unstructured":"[27] Humberstone, L., \u201cThe modal logic of agreement and noncontingency,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 43 (2002), no. 2, pp. 95\u2013127.","DOI":"10.1305\/ndjfl\/1071509431"},{"key":"28","doi-asserted-by":"crossref","unstructured":"[28] Humberstone, L., <i>The Connectives<\/i>, MIT Press, Cambridge, MA, 2011.","DOI":"10.7551\/mitpress\/9055.001.0001"},{"key":"29","doi-asserted-by":"crossref","unstructured":"[29] Humberstone, L., \u201cLogical relations,\u201d pp. 175\u2013230 in <i>Philosophy of Language<\/i>, vol. 27 of <i>Philosophical Perspectives<\/i>, Wiley-Blackwell, Malden, MA, 2013.","DOI":"10.1111\/phpe.12021"},{"key":"30","doi-asserted-by":"crossref","unstructured":"[30] Humberstone, L. \u201cSupervenience, dependence, disjunction,\u201d <i>Logic and Logical Philosophy<\/i>, vol. 28 (2019), no. 1, pp. 3\u2013135.","DOI":"10.12775\/LLP.2018.007"},{"key":"31","unstructured":"[31] Ishiguro, H., <i>Leibniz\u2019s Philosophy of Logic and Language<\/i>, 2nd edition, Cambridge University Press, Cambridge, 1990."},{"key":"32","unstructured":"[32] Kim, J., \u201cSupervenience and nomological incommensurables,\u201d <i>American Philosophical Quarterly<\/i>, vol. 15 (1978), pp. 149\u201356."},{"key":"33","doi-asserted-by":"crossref","unstructured":"[33] Kim, J., \u201cCausality, identity, and supervenience in the mind-body problem,\u201d <i>Midwest Studies in Philosophy<\/i>, vol. 4 (1979), pp. 31\u201349.","DOI":"10.1111\/j.1475-4975.1979.tb00372.x"},{"key":"34","doi-asserted-by":"crossref","unstructured":"[34] Kim, J., \u201cPsychophysical supervenience,\u201d <i>Philosophical Studies<\/i>, vol. 41 (1982), pp. 51\u201370.","DOI":"10.1007\/BF00353523"},{"key":"35","doi-asserted-by":"crossref","unstructured":"[35] Kim, J., \u201cConcepts of supervenience,\u201d <i>Philosophy and Phenomenological Research<\/i>, vol. 45 (1984), pp. 153\u201376.","DOI":"10.2307\/2107423"},{"key":"36","doi-asserted-by":"crossref","unstructured":"[36] Kim, J., \u201c`Strong\u2019 and \u2018global\u2019 supervenience revisited,\u201d <i>Philosophy and Phenomenological Research<\/i>, vol. 48 (1987), pp. 315\u201326.","DOI":"10.2307\/2107631"},{"key":"37","doi-asserted-by":"crossref","unstructured":"[37] Kim, J., \u201cSupervenience for multiple domains,\u201d <i>Philosophical Topics<\/i>, vol. 16 (1988), pp. 129\u201350.","DOI":"10.5840\/philtopics19881615"},{"key":"38","unstructured":"[38] Kim, J., \u201cPsychophysical supervenience as a mind-body theory,\u201d <i>Cognition and Brain Theory<\/i>, vol. 5 (1982), pp. 129\u201347."},{"key":"39","doi-asserted-by":"crossref","unstructured":"[39] Kim, J., \u201cEpiphenomenal and supervenient causation,\u201d <i>Midwest Studies in Philosophy<\/i>, vol. 9 (1984), pp. 257\u201370.","DOI":"10.1111\/j.1475-4975.1984.tb00063.x"},{"key":"40","doi-asserted-by":"publisher","unstructured":"[40] Kuhn, S., \u201cMinimal non-contingency logic,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 36 (1995), no. 2, pp. 230\u201334.","DOI":"10.1305\/ndjfl\/1040248456"},{"key":"41","doi-asserted-by":"crossref","unstructured":"[41] Leuenberger, S., \u201cWhat is global supervenience?\u201d <i>Synthese<\/i>, vol. 170 (2009), pp. 115\u201329.","DOI":"10.1007\/s11229-008-9360-4"},{"key":"42","doi-asserted-by":"crossref","unstructured":"[42] Lewis, D., \u201cNew work for a theory of universals,\u201d <i>Australasian Journal of Philosophy<\/i>, vol. 61 (1983), pp. 343\u201377.","DOI":"10.1080\/00048408312341131"},{"key":"43","unstructured":"[43] Lewis, D., <i>On the Plurality of Worlds<\/i>, Oxford University Press, Oxford, 1986."},{"key":"44","unstructured":"[44] Lewis, D., <i>Philosophical Papers<\/i>, vol. 2, Oxford University Press, Oxford, 1986."},{"key":"45","doi-asserted-by":"crossref","unstructured":"[45] Lewis, D., \u201cStatements partly about observation,\u201d <i>Philosophical Papers<\/i>, vol. 17 (1988), no. 1, pp. 1\u201331.","DOI":"10.1080\/05568648809506282"},{"key":"47","unstructured":"[47] Montgomery, H., and R. Routley, \u201cContingency and non-contingency bases for normal modal logics,\u201d <i>Logique et Analyse<\/i>, vol. 9 (1966), pp. 318\u201328."},{"key":"48","unstructured":"[48] Moore, G. E., <i>Philosophical Studies<\/i>, Routledge, London, 1922."},{"key":"49","unstructured":"[49] Proietti, C., \u201cCeteris paribus modalities and the future contingents problem,\u201d pp. 238\u201355 in <i>Logics for Dynamics of Information and Preferences<\/i>, edited by L. Kurzen and F. R. Vel\u00e1zquez-Quesada, Institute for Logic, Language and Computation, University of Amsterdam, 2009."},{"key":"50","doi-asserted-by":"publisher","unstructured":"[50] Proietti, C., and G. Sandu, \u201cFitch\u2019s paradox and ceteris paribus modalities,\u201d <i>Synthese<\/i>, vol. 173 (2010), pp. 75\u201387.","DOI":"10.1007\/s11229-009-9677-7"},{"key":"54","doi-asserted-by":"publisher","unstructured":"[54] van Benthem, J., P. Girard, and O. Roy, \u201cEverything else being equal: A modal logic for ceteris paribus preferences,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 38 (2009), no. 1, pp. 83\u2013125.","DOI":"10.1007\/s10992-008-9085-3"},{"key":"55","doi-asserted-by":"crossref","unstructured":"[55] van der Hoek, W., and A. Lomuscio, \u201cA logic for ignorance,\u201d <i>Electronic Notes in Theoretical Computer Science<\/i>, vol. 85 (2004), no. 2, pp. 117\u201333.","DOI":"10.1016\/S1571-0661(05)82606-4"},{"key":"56","unstructured":"[56] van Ditmarsch, H., J. Fan, W. van der Hoek, and P. Iliev, \u201cSome exponential lower bounds on formula-size in modal logic,\u201d <i>Advances in Modal Logic<\/i>, vol. 10 (2014), pp. 139\u2013157."},{"key":"57","doi-asserted-by":"publisher","unstructured":"[57] Zolin, E. E., \u201cCompleteness and definability in the logic of noncontingency,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 40 (1999), no. 4, pp. 533\u201347.","DOI":"10.1305\/ndjfl\/1012429717"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2019-0006","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:59:46Z","timestamp":1706648386000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-60\/issue-2\/A-Modal-Logic-of-Supervenience\/10.1215\/00294527-2019-0006.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,1]]},"references-count":57,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2019,5,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2019-0006","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2019,5,1]]}}}