{"id":"https://openalex.org/W2080781927","doi":"https://doi.org/10.1305/ndjfl/1093893354","title":"Completeness without the Barcan formula.","display_name":"Completeness without the Barcan formula.","publication_year":1968,"publication_date":"1968-01-01","ids":{"openalex":"https://openalex.org/W2080781927","doi":"https://doi.org/10.1305/ndjfl/1093893354","mag":"2080781927"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093893354","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093893354","pdf_url":null,"source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108485386","display_name":"M. J. Cresswell","orcid":null},"institutions":[{"id":"https://openalex.org/I41156924","display_name":"Victoria University of Wellington","ror":"https://ror.org/0040r6f76","country_code":"NZ","type":"education","lineage":["https://openalex.org/I41156924"]}],"countries":["NZ"],"is_corresponding":true,"raw_author_name":"M. J. Cresswell","raw_affiliation_strings":["Victoria University of Wellington Wellington, New Zealand"],"affiliations":[{"raw_affiliation_string":"Victoria University of Wellington Wellington, New Zealand","institution_ids":["https://openalex.org/I41156924"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5108485386"],"corresponding_institution_ids":["https://openalex.org/I41156924"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.24170783,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"9","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.7421000003814697,"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"}},"topics":[{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.7421000003814697,"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"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.741100013256073,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.7324000000953674,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.7733310461044312},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5027563571929932},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.4047774076461792},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.11085507273674011},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.08792909979820251}],"concepts":[{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.7733310461044312},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5027563571929932},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.4047774076461792},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.11085507273674011},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.08792909979820251},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093893354","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093893354","pdf_url":null,"source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.ndjfl/1093893354","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093893354","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W121055207","https://openalex.org/W1533152871","https://openalex.org/W2090190027","https://openalex.org/W2114975169"],"related_works":["https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2911598644","https://openalex.org/W2042127053"],"abstract_inverted_index":{"In":[0],"[1]":[1],"we":[2,67,131,250],"proved":[3],"the":[4,7,14,28,58,63,81,122,138,154,168,199,227,256,267,274,277,281,301,390],"completeness":[5],"of":[6,44,72,103,124,140,149,156,201,269,276,303,327,339,350,355,357],"modal":[8],"predicate":[9],"calculus":[10],"T":[11,24],"(S4,S5)":[12],"with":[13,62],"Bare":[15],"an":[16,368,377,380,384],"formula.It":[17],"is":[18,35,75,99,112,153,211,224,237,244,324,372,383],"known":[19],"1":[20,392],"that":[21,108,191,239,292,360],"in":[22,77,92,107,116,160,179,195,205,216,260,398,402],"quantificational":[23,126,234,314],"and":[25,265,317,352,375],"S4":[26,369],"without":[27],"Bar":[29],"can":[30,251],"formula":[31,52,65,83,258,279,388],"as":[32,319,346,353,404],"axiom":[33,203],"it":[34,84,119,236,297],"not":[36,215,272],"a":[37,45,69,90,100,110,125,128,147,177,184,186,196,206,210,305,313,320,325,331,337,348,387,389],"theorem.Further":[38],"there":[39,98],"have":[40],"been":[41],"objections,":[42],"mainly":[43],"philosophical":[46],"nature":[47],"2":[48],"raised":[49],"against":[50],"this":[51,163,248,288],"when":[53],"given":[54,96,113,144,400],"its":[55],"intended":[56],"interpretation.In":[57],"semantics":[59,91,111,164,268,306],"for":[60,94,142,361,376],"systems":[61,294],"Barcan":[64,82,257,278],"(v.[l])":[66],"assumed":[68],"single":[70],"domain":[71,102,139],"individuals,":[73],"which":[74,105,135,152,158,307],"unchanging":[76],"every":[78,233],"world.To":[79],"falsify":[80],"would":[85],"seem":[86],"sufficient":[87],"to":[88,121,166,225],"give":[89],"which,":[93],"any":[95,143,362,399],"world":[97,145,207,401],"separate":[101],"individuals":[104,141,150],"'exist'":[106],"world.Such":[109],"by":[114,230],"Kripke":[115],"[7]":[117,270],"(pp.86-87).Briefly":[118],"adds":[120],"notion":[123],"T-model":[127],"function":[129,344],"(which":[130],"shall":[132],"call":[133],"Q)":[134],"selects":[136],"from":[137,176,280],"xi":[146],"set":[148,155,326,338],"Q(xi)":[151,217,365],"everything":[157],"exists":[159],"xu":[161],"Unfortunately":[162],"fails":[165,204],"verify":[167],"axiom;":[169],"(x)a":[170],"D":[171,242,336],"0":[172],"(where":[173],"\u03b2":[174],"differs":[175],"only":[178],"having":[180],"some":[181,213],"individual":[182,214],"symbol":[183],"wherever":[185],"has":[187],"free":[188,194],"x":[189,193],"provided":[190],"no":[192,253],"occurs":[197],"within":[198],"scope":[200],"(a)).This":[202],"x\u03b9":[208],"where":[209,322],"assigned":[212],"3":[218],".Kripke's":[219],"solution":[220],"([7]":[221],"p.":[222],"89)":[223],"alter":[226],"quantification":[228],"basis":[229],"universally":[231,245],"closing":[232],"axiom.For":[235],"clear":[238],"(#)[(#)":[240],"\u03b1":[241],"a]":[243],"valid":[246],"on":[247],"semantics.However":[249],"then":[252],"longer":[254],"prove":[255],"even":[259],"S5":[261,285,378],"(v.[7]":[262],"pp.87,":[263],"88)":[264],"so":[266],"does":[271,308],"reflect":[273],"omission":[275],"standard":[282],"T,":[283],"S4,":[284],"4":[286],".While":[287],"may":[289],"shew":[290],"5":[291],"these":[293],"are":[295],"inadequate":[296],"still":[298],"leaves":[299],"open":[300],"problem":[302],"finding":[304],"characterize":[309],"them":[310],"exactly.We":[311],"define":[312],"T(S4,S5)-model":[315],"(cf.[l]":[316],"[4])":[318],"quin-<VWRQD>":[321],"W":[323,351,403],"objects":[328,340],"(worlds),":[329],"R":[330,371],"reflexive":[332],"relation":[333],"over":[334],"W,":[335],"(individuals),":[341],"Q":[342],"&":[343],"taking":[345],"argument":[347],"member":[349],"value":[354,391],"subset":[356],"D,":[358],"such":[359],"XjRx":[363],"if":[364],"?\u039e":[366],"Q{xj).(For":[367],"model":[370,379],"also":[373],"transitive":[374],"equivalence":[381],"relation.)V":[382],"assignment":[385],"giving":[386],"or":[393,395],"0,":[394],"being":[396],"undefined":[397],"follows:":[405]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}