{"id":"https://openalex.org/W2085802430","doi":"https://doi.org/10.1305/ndjfl/1093893709","title":"Modal systems in which necessity is ``factorable''.","display_name":"Modal systems in which necessity is ``factorable''.","publication_year":1969,"publication_date":"1969-07-01","ids":{"openalex":"https://openalex.org/W2085802430","doi":"https://doi.org/10.1305/ndjfl/1093893709","mag":"2085802430"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093893709","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093893709","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-10/issue-3/Modal-systems-in-which-necessity-is-factorable/10.1305/ndjfl/1093893709.pdf","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":true,"oa_status":"bronze","oa_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-10/issue-3/Modal-systems-in-which-necessity-is-factorable/10.1305/ndjfl/1093893709.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103642869","display_name":"J. Jay Zeman","orcid":null},"institutions":[{"id":"https://openalex.org/I2801318138","display_name":"Jen-Ai Hospital","ror":"https://ror.org/02vt4z508","country_code":"TW","type":"healthcare","lineage":["https://openalex.org/I2801318138"]}],"countries":["TW"],"is_corresponding":true,"raw_author_name":"J. Jay Zeman","raw_affiliation_strings":["then t-QCQ\u03c6Q\u03c8 Je. Ifl-Q\u03c6 , then \\ -\u03c6 "],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"then t-QCQ\u03c6Q\u03c8 Je. Ifl-Q\u03c6 , then \\ -\u03c6 ","institution_ids":["https://openalex.org/I2801318138"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5103642869"],"corresponding_institution_ids":["https://openalex.org/I2801318138"],"apc_list":null,"apc_paid":null,"fwci":1.0186,"has_fulltext":true,"cited_by_count":9,"citation_normalized_percentile":{"value":0.78398566,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"10","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.3711000084877014,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.3711000084877014,"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/modal","display_name":"Modal","score":0.7264159917831421},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5037116408348083},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3968369662761688},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.39484110474586487},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.3294917941093445},{"id":"https://openalex.org/keywords/materials-science","display_name":"Materials science","score":0.12119859457015991},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.07170063257217407},{"id":"https://openalex.org/keywords/composite-material","display_name":"Composite material","score":0.03855782747268677}],"concepts":[{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.7264159917831421},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5037116408348083},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3968369662761688},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39484110474586487},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.3294917941093445},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.12119859457015991},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.07170063257217407},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.03855782747268677},{"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/1093893709","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093893709","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-10/issue-3/Modal-systems-in-which-necessity-is-factorable/10.1305/ndjfl/1093893709.pdf","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/1093893709","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093893709","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":{"id":"doi:10.1305/ndjfl/1093893709","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093893709","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-10/issue-3/Modal-systems-in-which-necessity-is-factorable/10.1305/ndjfl/1093893709.pdf","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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2085802430.pdf","grobid_xml":"https://content.openalex.org/works/W2085802430.grobid-xml"},"referenced_works_count":1,"referenced_works":["https://openalex.org/W7058165094"],"related_works":["https://openalex.org/W2748952813","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"],"abstract_inverted_index":{"We":[0],"will":[1,61,68,196,206,228],"say":[2],"that":[3,31,113],"necessity":[4,79,131,134,190],"is":[5,46,80,82,251],"\"factorable\"":[6],"in":[7,32,53,57,77,100,105,122,139,181,192,198,236],"a":[8,75,88,128],"modal":[9,15],"system":[10,76,84],"S":[11,33,103,107],"if":[12],"there":[13],"are":[14],"functions":[16],"Xip,":[17],".":[18,19,41,42],".,":[20],"X":[21,65],"n":[22,44,56],"p-L":[23],"itself":[24],"being":[25],"none":[26],"of":[27,74,130,141,146,165,183,201],"the":[28,34,50,58,83,106,116,123,150,162,178,189,193,226,232],"Xi":[29],"-such":[30],"conjunction":[35],"KX":[36],"1":[37,66],"pKX":[38],"2":[39,63],"p":[40,45,67],".X":[43],"equivalent":[47],"to":[48,96,126],"Lp.For":[49],"systems":[51,124,143,177,227],"discussed":[52],"this":[54,101],"paper,":[55],"above":[59],"formulas":[60],"be":[62,69,127,229],"and":[64,185,209,223],"simply":[70],"p.An":[71],"obvious":[72],"example":[73],"which":[78],"factorable":[81],"S4.4,which":[85],"contains":[86],"as":[87,120,235],"thesis":[89],"(1)":[90],"EKpMLpLp.We":[91],"shall":[92,110],"redirect":[93],"our":[94,168],"attention":[95],"S4.4":[97],"later":[98],"on":[99],"paper.1.":[102],"images":[104],"\u00b0":[108],"systems.We":[109],"now":[111],"show":[112],"by":[114],"considering":[115],"operator":[117,191],"usually":[118],"read":[119,240],"\"necessity\"":[121],"Sl\u00b0-S4\u00b0":[125],"factor":[129],"rather":[132],"than":[133],"itself,":[135],"we":[136,159,195,205],"may":[137,160],"find":[138],"each":[140],"these":[142,176,202],"an":[144,252],"image":[145],"its":[147],"respective":[148],"(without":[149],"\u03afO":[151],"')":[152],"ordinary":[153],"Lewis-modal":[154],"system.As":[155],"bases":[156],"for":[157,167,175,188,214,220,225,241],"Sl\u00b0-S4\u00b0,":[158],"use":[161],"C-N-L":[163],"formulations":[164],"[l];":[166],"present":[169],"purposes,":[170],"however,":[171],"let":[172],"us":[173],"employ":[174],"letter":[179],"Q":[180,239],"place":[182],"L,":[184],"reserve":[186],"L":[187,208],"\"images\"":[194],"discover":[197],"Sl\u00b0-S4\u00b0.In":[199],"all":[200],"systems,":[203],"then,":[204],"define":[207],"Mas":[210],"follows:Df.":[211],"L:":[212,242],"L\u03c6":[213],"K\u03c6":[215],"Q\u03c6":[216],"Df.":[217],"M:":[218],"M\u03c6":[219],"ANQN\u03c6":[221],"\u03c6Axioms":[222],"rules":[224],"drawn":[230],"from":[231],"following":[233],"stock,":[234],"[l],":[237],"with":[238],"Jla.CQCpCqrQCQpCQqQr":[243],"Jib.CQCpqCQpQq":[244],"J2.CKQCpqQCqrQCpr":[245],"J\u03b1.If":[246],"h\u03c6,":[247],"then":[248,260],"hQ\u03c6.Jb.If":[249],"\u03c6":[250],"axiom":[253],"or":[254],"PC":[255],"theorem,":[256],"\\-Q\u03c6.Jc.":[257],"//":[258],"hQC\u03c6\u03c8,":[259],"\\-QCQ\u03c6":[261],"Q\u03c8.Jd.":[262]},"counts_by_year":[{"year":2023,"cited_by_count":2}],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2025-10-10T00:00:00"}