{"id":"https://openalex.org/W1594812752","doi":"https://doi.org/10.1007/s10992-013-9292-4","title":"BH-CIFOL: Case-Intensional First Order Logic","display_name":"BH-CIFOL: Case-Intensional First Order Logic","publication_year":2013,"publication_date":"2013-08-24","ids":{"openalex":"https://openalex.org/W1594812752","doi":"https://doi.org/10.1007/s10992-013-9292-4","mag":"1594812752","pmid":"https://pubmed.ncbi.nlm.nih.gov/26752793"},"language":"en","primary_location":{"id":"doi:10.1007/s10992-013-9292-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10992-013-9292-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-013-9292-4.pdf","source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Philosophical Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10992-013-9292-4.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036317806","display_name":"Nuel Belnap","orcid":null},"institutions":[{"id":"https://openalex.org/I170201317","display_name":"University of Pittsburgh","ror":"https://ror.org/01an3r305","country_code":"US","type":"education","lineage":["https://openalex.org/I170201317"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Nuel Belnap","raw_affiliation_strings":["Department of Philosophy, University of Pittsburgh, 1001 Cathedral of Learning, Pittsburgh, PA 15260 USA","University of Pittsburgh"],"affiliations":[{"raw_affiliation_string":"Department of Philosophy, University of Pittsburgh, 1001 Cathedral of Learning, Pittsburgh, PA 15260 USA","institution_ids":[]},{"raw_affiliation_string":"University of Pittsburgh","institution_ids":["https://openalex.org/I170201317"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073884439","display_name":"Thomas M\u00fcller","orcid":"https://orcid.org/0000-0003-1225-1483"},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Thomas M\u00fcller","raw_affiliation_strings":["Department of Philosophy, Utrecht University, Janskerkhof 13a, 3512 BL Utrecht, The Netherlands","Utrecht university >  >  >  >"],"affiliations":[{"raw_affiliation_string":"Department of Philosophy, Utrecht University, Janskerkhof 13a, 3512 BL Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353"]},{"raw_affiliation_string":"Utrecht university >  >  >  >","institution_ids":["https://openalex.org/I193662353"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5036317806"],"corresponding_institution_ids":["https://openalex.org/I170201317"],"apc_list":{"value":2190,"currency":"EUR","value_usd":2780},"apc_paid":{"value":2190,"currency":"EUR","value_usd":2780},"fwci":2.9655,"has_fulltext":true,"cited_by_count":11,"citation_normalized_percentile":{"value":0.91245842,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"43","issue":"5","first_page":"835","last_page":"866"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9908000230789185,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9908000230789185,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9837999939918518,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.979200005531311,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/extensionality","display_name":"Extensionality","score":0.6124742031097412},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4518468379974365},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44147875905036926},{"id":"https://openalex.org/keywords/branching","display_name":"Branching (polymer chemistry)","score":0.4127539098262787},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.36576658487319946},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.36264514923095703},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2615780532360077}],"concepts":[{"id":"https://openalex.org/C150355047","wikidata":"https://www.wikidata.org/wiki/Q965432","display_name":"Extensionality","level":2,"score":0.6124742031097412},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4518468379974365},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44147875905036926},{"id":"https://openalex.org/C206175624","wikidata":"https://www.wikidata.org/wiki/Q595731","display_name":"Branching (polymer chemistry)","level":2,"score":0.4127539098262787},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.36576658487319946},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.36264514923095703},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2615780532360077},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/s10992-013-9292-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10992-013-9292-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-013-9292-4.pdf","source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Philosophical Logic","raw_type":"journal-article"},{"id":"pmid:26752793","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/26752793","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of philosophical logic","raw_type":null},{"id":"pmh:oai:philsci-archive.pitt.edu:9795","is_oa":true,"landing_page_url":null,"pdf_url":"http://philsci-archive.pitt.edu/9795/1/BH-CIFOL-preprintversion-2013-05-28-tm_.pdf","source":{"id":"https://openalex.org/S4306401283","display_name":"PhilSci-Archive (University of Pittsburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I170201317","host_organization_name":"University of Pittsburgh","host_organization_lineage":["https://openalex.org/I170201317"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"NonPeerReviewed"},{"id":"pmh:oai:kops.uni-konstanz.de:123456789/27099","is_oa":true,"landing_page_url":"http://nbn-resolving.de/urn:nbn:de:bsz:352-270997","pdf_url":"https://kops.uni-konstanz.de/server/api/core/bitstreams/4e52ebce-a21d-42b3-80e0-c689ee13d002/content","source":{"id":"https://openalex.org/S4306401487","display_name":"KOPS (University of Konstanz)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189712700","host_organization_name":"University of Konstanz","host_organization_lineage":["https://openalex.org/I189712700"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Philosophical Logic. 2014, 43(5), pp. 835-866. ISSN 0022-3611. eISSN 1573-0433. Available under: doi: 10.1007/s10992-013-9292-4","raw_type":"doc-type:Text"},{"id":"pmh:oai:europepmc.org:3681680","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/4699741","pdf_url":null,"source":{"id":"https://openalex.org/S4306400806","display_name":"Europe PMC (PubMed Central)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1303153112","host_organization_name":"European Bioinformatics Institute","host_organization_lineage":["https://openalex.org/I1303153112"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1007/s10992-013-9292-4","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10992-013-9292-4","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10992-013-9292-4.pdf","source":{"id":"https://openalex.org/S161120620","display_name":"Journal of Philosophical Logic","issn_l":"0022-3611","issn":["0022-3611","1573-0433"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Philosophical Logic","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7200000286102295}],"awards":[{"id":"https://openalex.org/G3248431496","display_name":null,"funder_award_id":"NWO VIDI 276-20-013","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G7724334725","display_name":null,"funder_award_id":"FP7/2007-2013","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1594812752.pdf","grobid_xml":"https://content.openalex.org/works/W1594812752.grobid-xml"},"referenced_works_count":60,"referenced_works":["https://openalex.org/W93751600","https://openalex.org/W167261002","https://openalex.org/W203394424","https://openalex.org/W564926234","https://openalex.org/W1481719540","https://openalex.org/W1487076220","https://openalex.org/W1490482037","https://openalex.org/W1491439990","https://openalex.org/W1525770870","https://openalex.org/W1536798348","https://openalex.org/W1562406943","https://openalex.org/W1562991031","https://openalex.org/W1565142245","https://openalex.org/W1594812752","https://openalex.org/W1599016577","https://openalex.org/W1651570284","https://openalex.org/W1967233185","https://openalex.org/W1980491396","https://openalex.org/W1980689619","https://openalex.org/W2002809096","https://openalex.org/W2005814072","https://openalex.org/W2008284270","https://openalex.org/W2008578397","https://openalex.org/W2015659496","https://openalex.org/W2019353855","https://openalex.org/W2028942690","https://openalex.org/W2031636584","https://openalex.org/W2043040082","https://openalex.org/W2047179354","https://openalex.org/W2062320451","https://openalex.org/W2062719791","https://openalex.org/W2063981788","https://openalex.org/W2065559740","https://openalex.org/W2075322664","https://openalex.org/W2078322546","https://openalex.org/W2104015589","https://openalex.org/W2107171883","https://openalex.org/W2114999042","https://openalex.org/W2120670454","https://openalex.org/W2129111845","https://openalex.org/W2133815931","https://openalex.org/W2137233516","https://openalex.org/W2155535944","https://openalex.org/W2155581733","https://openalex.org/W2167496701","https://openalex.org/W2171547847","https://openalex.org/W2263692486","https://openalex.org/W2329628994","https://openalex.org/W2489463796","https://openalex.org/W2921411937","https://openalex.org/W3083336664","https://openalex.org/W3140283761","https://openalex.org/W3144889436","https://openalex.org/W4235944370","https://openalex.org/W4239399053","https://openalex.org/W4243487518","https://openalex.org/W4388218763","https://openalex.org/W6615930049","https://openalex.org/W6682854450","https://openalex.org/W6858522505"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W4387963895","https://openalex.org/W2572376253","https://openalex.org/W2064861136","https://openalex.org/W2762953140","https://openalex.org/W2149318139","https://openalex.org/W4295331976","https://openalex.org/W358049013","https://openalex.org/W1895537820","https://openalex.org/W3106670512"],"abstract_inverted_index":{"This":[0,84],"paper":[1],"follows":[2],"Part":[3,39],"I":[4,40],"of":[5,21,27,57,61,65,69,104,112,129,153,164,168],"our":[6,105,110],"essay":[7],"on":[8],"case-intensional":[9],"first-order":[10,120],"logic":[11],"(CIFOL;":[12],"Belnap":[13],"and":[14,63,100,157,159,171],"M\u00fcller":[15],"(2013)).":[16],"We":[17,149,183],"introduce":[18],"a":[19,43,45,50,58,145,161,178,186],"framework":[20,85,106],"branching":[22,115,146,194],"histories":[23,147],"to":[24,34,88,136,176,189],"take":[25],"account":[26,163],"indeterminism.":[28],"Our":[29],"system":[30],"BH-CIFOL":[31,48],"adds":[32],"structure":[33],"the":[35,66,73,76,90,126,151,166,197],"cases,":[36],"which":[37],"in":[38,47,109,114,118,144,181,199],"formed":[41],"just":[42],"set:":[44],"case":[46,135,137],"is":[49,81,142],"moment/history":[51],"pair,":[52],"specifying":[53],"both":[54],"an":[55,131,139],"element":[56],"partial":[59],"ordering":[60],"moments":[62],"one":[64],"total":[67],"courses":[68],"events":[70],"(extending":[71],"all":[72],"way":[74],"into":[75],"future)":[77],"that":[78,79,200],"moment":[80],"part":[82],"of.":[83],"allows":[86],"us":[87],"define":[89],"familiar":[91],"Ockhamist":[92],"temporal/modal":[93],"connectives,":[94],"most":[95],"notably":[96],"for":[97],"past,":[98],"future,":[99],"settledness.":[101],"The":[102],"novelty":[103],"becomes":[107],"visible":[108],"discussion":[111,123],"substances":[113],"histories,":[116,195],"i.e.,":[117],"its":[119],"part.":[121],"That":[122],"shows":[124],"how":[125,165],"basic":[127],"idea":[128],"tracing":[130],"individual":[132],"thing":[133],"from":[134],"via":[138],"absolute":[140],"property":[141],"applicable":[143],"framework.":[148],"stress":[150],"importance":[152],"keeping":[154],"apart":[155],"extensionality":[156],"moment-definiteness,":[158],"give":[160],"formal":[162],"specification":[167],"natural":[169,172],"sortals":[170],"qualities":[173],"turns":[174],"out":[175],"be":[177],"coordination":[179],"task":[180],"BH-CIFOL.":[182],"also":[184],"provide":[185],"detailed":[187],"answer":[188],"Lewis's":[190],"well-known":[191],"argument":[192],"against":[193],"exposing":[196],"fallacy":[198],"argument.":[201]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2016-06-24T00:00:00"}