{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,8]],"date-time":"2023-09-08T00:51:08Z","timestamp":1694134268725},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2013,1,20]],"date-time":"2013-01-20T00:00:00Z","timestamp":1358640000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s10992-012-9267-x","type":"journal-article","created":{"date-parts":[[2013,1,19]],"date-time":"2013-01-19T07:06:57Z","timestamp":1358579217000},"page":"393-437","source":"Crossref","is-referenced-by-count":11,"title":["CIFOL: Case-Intensional First Order Logic"],"prefix":"10.1007","volume":"43","author":[{"given":"Nuel","family":"Belnap","sequence":"first","affiliation":[]},{"given":"Thomas","family":"M\u00fcller","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,1,20]]},"reference":[{"issue":"2","key":"9267_CR1","doi-asserted-by":"publisher","first-page":"193","DOI":"10.2307\/2273182","volume":"45","author":"J Bacon","year":"1980","unstructured":"Bacon, J. (1980). Substance and first-order quantification over individual-concepts. Journal of Symbolic Logic, 45(2), 193\u2013203.","journal-title":"Journal of Symbolic Logic"},{"key":"9267_CR2","doi-asserted-by":"publisher","first-page":"12","DOI":"10.2307\/2267171","volume":"12","author":"R Barcan","year":"1947","unstructured":"Barcan, R. (1947). The identity of individuals in a strict functional calculus of second order. Journal of Symbolic Logic, 12, 12\u201315.","journal-title":"Journal of Symbolic Logic"},{"key":"9267_CR3","first-page":"31","volume-title":"Modality matters: Twenty-five essays in honour of Krister Segerberg (Vol. 53)","author":"N Belnap","year":"2006","unstructured":"Belnap, N. (2006). Bressan\u2019s type-theoretical combination of quantification and modality. In H. Lagerlund, S. Lindstr\u00f6m, R. Sliwinski (Eds.), Modality matters: Twenty-five essays in honour of Krister Segerberg (pp. 31\u201353). Uppsala: Uppsala Philosophical Studies, Vol. 53, Uppsala University."},{"key":"9267_CR4","unstructured":"Belnap, N. (2013). Internalizing case-relative truth in CIFOL. In T. M\u00fcller (Ed.), Nuel Belnap\u2019s work on indeterminism and free action. Berlin: Springer (forthcoming)."},{"key":"9267_CR5","unstructured":"Belnap, N., & M\u00fcller, T. (2012). BH-CIFOL: Case-intensional first order logic. (II) Branching histories (forthcoming)."},{"key":"9267_CR6","volume-title":"A general interpreted modal calculus","author":"A Bressan","year":"1972","unstructured":"Bressan, A. (1972). A general interpreted modal calculus. New Haven, CT: Yale University Press."},{"key":"9267_CR7","first-page":"157","volume":"49","author":"A Bressan","year":"1973","unstructured":"Bressan, A. (1973). The interpreted type-free modal calculus MC\n                  \u221e. Rendiconti del Seminario Matematico della Universit\u00e0 di Padova, 49, 157\u2013194.","journal-title":"Rendiconti del Seminario Matematico della Universit\u00e0 di Padova"},{"issue":"3","key":"9267_CR8","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1556\/AVet.57.2009.3.3","volume":"57","author":"M Bugno","year":"2009","unstructured":"Bugno, M., S\u0142ota, E., Pie\u0144kowska-Schelling, A., Schelling, C., et al. (2009). Identification of chromosome abnormalities in the horse using a panel of chromosome-specific painting probes generated by microdissection. Acta Veterinaria Hungarica, 57(3), 369.","journal-title":"Acta Veterinaria Hungarica"},{"issue":"4","key":"9267_CR9","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1093\/bjps\/axl026","volume":"57","author":"J Butterfield","year":"2006","unstructured":"Butterfield, J. (2006). Against pointillisme about mechanics. British Journal for the Philosophy of Science, 57(4), 709\u2013753.","journal-title":"British Journal for the Philosophy of Science"},{"key":"9267_CR10","volume-title":"Meaning and necessity: A study in semantics and modal logic","author":"R Carnap","year":"1947","unstructured":"Carnap, R. (1947). Meaning and necessity: A study in semantics and modal logic. Chicago, IL: University of Chicago Press. Enlarged edition, 1956."},{"key":"9267_CR11","volume-title":"Frege: Philosophy of language","author":"M Dummett","year":"1973","unstructured":"Dummett, M. (1973). Frege: Philosophy of language. London: Duckworth."},{"key":"9267_CR12","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.apal.2003.11.014","volume":"127","author":"MC Fitting","year":"2004","unstructured":"Fitting, M.C. (2004). First-order intensional logic. Annals of Pure and Applied Logic, 127, 171\u2013193.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9267_CR13","unstructured":"Fitting, M.C. (2011). Intensional logic. In E.N. Zalta (Ed.), The Stanford encyclopedia of philosophy (winter 2011 edn.). \n                    http:\/\/plato.stanford.edu\/archives\/win2011\/entries\/logic-intensional\/\n                    \n                  ."},{"key":"9267_CR14","volume-title":"Intensional and higher-order modal logic: With applications to Montague semantics. Mathematical studies (Vol. 19)","author":"D Gallin","year":"1975","unstructured":"Gallin, D. (1975). Intensional and higher-order modal logic: With applications to Montague semantics. Mathematical studies (Vol. 19). Amsterdam: North Holland."},{"key":"9267_CR15","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1007\/s10992-005-3664-3","volume":"34","author":"J Garson","year":"2005","unstructured":"Garson, J. (2005). Unifying quantified modal logic. Journal of Philosophical Logic, 34, 621\u2013649.","journal-title":"Journal of Philosophical Logic"},{"key":"9267_CR16","volume-title":"Reference and generality: An examination of some medieval and modern theories","author":"PT Geach","year":"1962","unstructured":"Geach, P.T. (1962). Reference and generality: An examination of some medieval and modern theories. Ithaca, NY: Cornell University Press."},{"key":"9267_CR17","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/BF00693273","volume":"4","author":"A Gibbard","year":"1975","unstructured":"Gibbard, A. (1975). Contingent identity. Journal of Philosophical Logic, 4, 187\u2013221.","journal-title":"Journal of Philosophical Logic"},{"key":"9267_CR18","volume-title":"The logic of common nouns: An investigation in quantified modal logic","author":"A Gupta","year":"1980","unstructured":"Gupta, A. (1980). The logic of common nouns: An investigation in quantified modal logic. New Haven, CT: Yale University Press."},{"key":"9267_CR19","doi-asserted-by":"publisher","DOI":"10.4324\/9780203290644","volume-title":"An new introduction to modal logic","author":"GE Hughes","year":"1996","unstructured":"Hughes, G.E., & Cresswell, M.J. (1996). An new introduction to modal logic. London: Routledge."},{"key":"9267_CR20","unstructured":"Kishida, K. (2010). Generalized topological semantics for first-order modal logic. Ph.D. thesis, University of Pittsburgh."},{"key":"9267_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2964568","volume":"24","author":"S Kripke","year":"1959","unstructured":"Kripke, S. (1959). A completeness theorem in modal logic. The Journal of Symbolic Logic, 24, 1\u201315.","journal-title":"The Journal of Symbolic Logic"},{"key":"9267_CR22","first-page":"83","volume":"16","author":"S Kripke","year":"1963","unstructured":"Kripke, S. (1963). Semantical considerations in modal logic. Acta Philosophica Fennica, 16, 83\u201394.","journal-title":"Acta Philosophica Fennica"},{"issue":"5","key":"9267_CR23","doi-asserted-by":"publisher","first-page":"113","DOI":"10.2307\/2024555","volume":"65","author":"DK Lewis","year":"1968","unstructured":"Lewis, D.K. (1968). Counterpart theory and quantified modal logic. Journal of Philosophy, 65(5), 113\u2013126.","journal-title":"Journal of Philosophy"},{"key":"9267_CR24","volume-title":"More kinds of being","author":"EJ Lowe","year":"2009","unstructured":"Lowe, E.J. (2009). More kinds of being. Oxford: Blackwell."},{"key":"9267_CR25","unstructured":"Montague, R. (1973). The proper treatment of quantification in ordinary English. In J. Hintikka, J. Moravcsik, P. Suppes (Eds.), Approaches to natural language: Proceedings of the 1970 Stanford workshop on grammar and semantics (pp. 221\u2013242). Dordrecht: D. Reidel. Reprinted as Chap. 8 of Montague, R. (1974). Formal philosophy: Selected papers of Richard Montague. New Haven, CT: Yale University Press. Edited and with an introduction by R.H. Thomason."},{"key":"9267_CR26","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1016\/S1570-2464(07)80013-9","volume-title":"Handbook of modal logic","author":"R Muskens","year":"2007","unstructured":"Muskens, R. (2007). Higher-order modal logic. In P. Blackburn, J. van Benthem, F. Wolter (Eds.), Handbook of modal logic (pp. 621\u2013654). Amsterdam: Elsevier."},{"key":"9267_CR27","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/BF00650495","volume":"1","author":"Z Parks","year":"1972","unstructured":"Parks, Z. (1972). Classes and change. Journal of Philosophical Logic, 1, 162\u2013169.","journal-title":"Journal of Philosophical Logic"},{"key":"9267_CR28","volume-title":"Word and object","author":"W Quine","year":"1960","unstructured":"Quine, W. (1960). Word and object. Cambridge, MA: MIT Press."},{"key":"9267_CR29","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1093\/analys\/60.1.84","volume":"60","author":"T Sider","year":"2000","unstructured":"Sider, T. (2000). The stage view and temporary intrinsics. Analysis, 60, 84\u201388.","journal-title":"Analysis"},{"key":"9267_CR30","volume-title":"Introduction to logic","author":"P Suppes","year":"1957","unstructured":"Suppes, P. (1957). Introduction to logic. Princeton: D. van Nostrand."},{"key":"9267_CR31","first-page":"119","volume-title":"The logical way of doing things","author":"RH Thomason","year":"1969","unstructured":"Thomason, R.H. (1969). Modal logic and metaphysics. In K. Lambert (Ed.), The logical way of doing things (pp. 119\u2013146). New Haven, CT: Yale University Press."},{"key":"9267_CR32","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1111\/j.1755-2567.1970.tb00427.x","volume":"36","author":"RH Thomason","year":"1970","unstructured":"Thomason, R.H. (1970). Indeterminist time and truth-value gaps. Theoria, 36, 264\u2013281.","journal-title":"Theoria"},{"key":"9267_CR33","doi-asserted-by":"publisher","DOI":"10.1515\/9783110849264","volume-title":"The foundations of Frege\u2019s logic","author":"P Tich\u00fd","year":"1988","unstructured":"Tich\u00fd, P. (1988). The foundations of Frege\u2019s logic. Berlin: De Gruyter."},{"key":"9267_CR34","unstructured":"Van Leeuwen, J. (1991). Individuals and sortal concepts. An essay in logical descriptive metaphysics. Ph.D. thesis, Universiteit van Amsterdam."},{"key":"9267_CR35","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511612756","volume-title":"Sameness and substance renewed","author":"D Wiggins","year":"2001","unstructured":"Wiggins, D. (2001). Sameness and substance renewed. Cambridge: Cambridge University Press."},{"key":"9267_CR36","first-page":"1","volume-title":"Themes from Barcan Marcus, Lauener Library of Analytical Philosophy (Vol. 3)","author":"T Williamson","year":"2013","unstructured":"Williamson, T. (2013). Barcan formulas in second-order modal logic. In M. Frauchiger (Ed.), Themes from Barcan Marcus, Lauener Library of Analytical Philosophy (Vol. 3, pp. 1\u201331). Frankfurt: Ontos Verlag."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-012-9267-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-012-9267-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-012-9267-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-012-9267-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,21]],"date-time":"2019-01-21T19:20:50Z","timestamp":1548098450000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-012-9267-x"}},"subtitle":["(I) Toward a Theory of Sorts"],"short-title":[],"issued":{"date-parts":[[2013,1,20]]},"references-count":36,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["9267"],"URL":"https:\/\/doi.org\/10.1007\/s10992-012-9267-x","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,20]]}}}