{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,17]],"date-time":"2024-05-17T05:40:23Z","timestamp":1715924423991},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2013,8,25]],"date-time":"2013-08-25T00:00:00Z","timestamp":1377388800000},"content-version":"unspecified","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,10]]},"DOI":"10.1007\/s10992-013-9292-4","type":"journal-article","created":{"date-parts":[[2013,8,24]],"date-time":"2013-08-24T07:06:12Z","timestamp":1377327972000},"page":"835-866","source":"Crossref","is-referenced-by-count":7,"title":["BH-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,8,25]]},"reference":[{"issue":"3","key":"9292_CR1","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/BF00414289","volume":"93","author":"N Belnap","year":"1992","unstructured":"Belnap, N. (1992). Branching space-time. Synthese, 92(3), 385\u2013434. See also the postprint 2003, available on philsci-archive. http:\/\/philsci-archive.pitt.edu\/1003\/ .","journal-title":"Synthese"},{"key":"9292_CR2","unstructured":"Belnap, N. (2002). Double time references: speech-act reports as modalities in an indeterminist setting. In F. Wolter, H. Wansing, M. de Rijke, M. Zakharyaschev (Eds.), Advances in modal logic (Vol. 3, pp. 37\u201358). Singapore: World Scientific."},{"key":"9292_CR3","doi-asserted-by":"crossref","unstructured":"Belnap, N. (2012). Newtonian determinism to branching space-times indeterminism in two moves. Synthese. Published online first, doi: 10.1007\/s11229-012-0063-5 .","DOI":"10.1007\/s11229-012-0063-5"},{"key":"9292_CR4","doi-asserted-by":"crossref","unstructured":"Belnap, N., & M\u00fcller T. (2013). CIFOL: case-intensional first order logic (I). Toward a logic of sorts. Journal of Philosophical Logic. Published online first, doi: 10.1007\/s10992-012-9267-x .","DOI":"10.1007\/s10992-012-9267-x"},{"key":"9292_CR5","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the future: agents and choices in our indeterminist world","author":"N Belnap","year":"2001","unstructured":"Belnap, N., Perloff, M., Xu, M. (2001). Facing the future: agents and choices in our indeterminist world. Oxford: Oxford University Press."},{"key":"9292_CR6","volume-title":"A general interpreted modal calculus","author":"A Bressan","year":"1972","unstructured":"Bressan, A. (1972). A general interpreted modal calculus. New Haven: Yale University Press."},{"key":"9292_CR7","first-page":"139","volume-title":"Advances in modal logic","author":"M Brown","year":"2000","unstructured":"Brown, M. (2000). Conditional and unconditional obligation for agents in time. In M. Zakharyaschev, K. Segerberg, M. de Rijke, H. Wansing (Eds.), Advances in modal logic 2 (pp. 139\u2013171). Stanford: CSLI Publications."},{"key":"9292_CR8","unstructured":"Davidson, D. (1966). Emeroses by another name. Journal of Philosophy, 63(24), 778\u2013780. Reprinted in his Essays on actions and events. Oxford: Oxford University Press 2001, 225\u2013227."},{"key":"9292_CR9","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: Yale University Press."},{"key":"9292_CR10","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1111\/j.1755-2567.1971.tb00071.x","volume":"37","author":"H Kamp","year":"1971","unstructured":"Kamp, H. (1971). Formal properties of \u2018now\u2019. Theoria, 37, 227\u2013273.","journal-title":"Theoria"},{"key":"9292_CR11","first-page":"481","volume-title":"Themes from Kaplan","author":"D Kaplan","year":"1989","unstructured":"Kaplan, D. (1989). Demonstratives: an essay on the semantics, logic, metaphysics, and epistemology of demonstratives and other indexicals; and afterthoughts. In J. Almog, J. Perry, H. Wettstein (Eds.), Themes from Kaplan (pp. 481\u2013563; 565\u2013614). Oxford: Oxford University Press."},{"key":"9292_CR12","volume-title":"On the plurality of worlds","author":"D Lewis","year":"1986","unstructured":"Lewis, D. (1986). On the plurality of worlds. Oxford: Blackwell."},{"issue":"212","key":"9292_CR13","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1111\/1467-9213.00315","volume":"53","author":"J MacFarlane","year":"2003","unstructured":"MacFarlane, J. (2003). Future contingents and relative truth. The Philosophical Quarterly, 53(212), 321\u2013336.","journal-title":"The Philosophical Quarterly"},{"key":"9292_CR14","doi-asserted-by":"crossref","unstructured":"Malpass, A., & Wawer, J. (2012). A future for the thin red line. Synthese. Published online first, doi: 10.1007\/s11229-012-0064-4 .","DOI":"10.1007\/s11229-012-0064-4"},{"key":"9292_CR15","first-page":"17","volume":"8","author":"P \u00d8hrstr\u00f8m","year":"2009","unstructured":"\u00d8hrstr\u00f8m, P. (2009). In defence of the thin red line: a case for Ockhamism. Humana.mente, 8, 17\u201332.","journal-title":"Humana.mente"},{"key":"9292_CR16","doi-asserted-by":"crossref","unstructured":"Ploug, T., & \u00d8hrstr\u00f8m, P. (2011). Branching time, indeterminism and tense logic. Unveiling the Prior-Kripke letters. Synthese. Published online first, doi: 10.1007\/s11229-011-9944-2 .","DOI":"10.1007\/s11229-011-9944-2"},{"key":"9292_CR17","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, present and future","author":"AN Prior","year":"1967","unstructured":"Prior, A.N. (1967). Past, present and future. Oxford: Oxford University Press."},{"issue":"2","key":"9292_CR18","doi-asserted-by":"crossref","first-page":"110","DOI":"10.2307\/2214699","volume":"2","author":"AN Prior","year":"1968","unstructured":"Prior, A.N. (1968). Now. No\u00fbs, 2(2), 110\u2013119.","journal-title":"No\u00fbs"},{"issue":"1","key":"9292_CR19","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1023\/A:1022225203544","volume":"26","author":"P Schlenker","year":"2003","unstructured":"Schlenker, P. (2003). A plea for monsters. Linguistics and Philosophy, 26(1), 29\u2013120.","journal-title":"Linguistics and Philosophy"},{"key":"9292_CR20","doi-asserted-by":"crossref","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":"9292_CR21","doi-asserted-by":"crossref","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":"9292_CR22","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-94-009-6259-0_3","volume-title":"Handbook of philosophical logic, vol. II: extensions of classical logic, synthese library, studies in epistemology, Vol. 165","author":"RH Thomason","year":"1984","unstructured":"Thomason, R.H. (1984). Combinations of tense and modality. In D. Gabbay, & G. Guenthner (Eds.) Handbook of philosophical logic, vol. II: extensions of classical logic, Synthese Library, Studies in epistemology (Vol. 165, pp. 135\u2013165) Dordrecht: D. Reidel Publishing Company. (Vol. 165, pp. 135\u2013165) Dordrecht: D. Reidel Publishing Company."},{"key":"9292_CR23","unstructured":"Thompson, M. (2004). What is it to wrong someone? A puzzle about justice. In R.J.Wallace, P. Pettit, S. Scheffler, M. Smith (Eds.), Reason and value: themes from the moral philosophy of Joseph Raz (pp. 333\u2013384). Oxford: Oxford University Press."},{"key":"9292_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2275595","volume":"61","author":"A Zanardo","year":"1996","unstructured":"Zanardo, A. (1996). Branching-time logic with quantification over branches: the point of view of modal logic. Journal of Symbolic Logic, 61, 1\u201339.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9292-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-013-9292-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9292-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,17]],"date-time":"2024-05-17T05:09:56Z","timestamp":1715922596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-013-9292-4"}},"subtitle":["(II) Branching Histories"],"short-title":[],"issued":{"date-parts":[[2013,8,25]]},"references-count":24,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["9292"],"URL":"https:\/\/doi.org\/10.1007\/s10992-013-9292-4","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,8,25]]}}}