{"id":"https://openalex.org/W3146468982","doi":"https://doi.org/10.1093/logcom/exab025","title":"Negation as a modality in a quantified setting","display_name":"Negation as a modality in a quantified setting","publication_year":2021,"publication_date":"2021-03-15","ids":{"openalex":"https://openalex.org/W3146468982","doi":"https://doi.org/10.1093/logcom/exab025","mag":"3146468982"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exab025","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exab025","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","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/A5006401614","display_name":"Stanislav O. Speranski","orcid":"https://orcid.org/0000-0001-6386-5632"},"institutions":[{"id":"https://openalex.org/I2801160905","display_name":"Steklov Mathematical Institute","ror":"https://ror.org/03zeg8w71","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I2801160905","https://openalex.org/I4210124601"]},{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Stanislav O Speranski","raw_affiliation_strings":["Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, 119991, Russia"],"affiliations":[{"raw_affiliation_string":"Steklov Mathematical Institute of Russian Academy of Sciences, Moscow, 119991, Russia","institution_ids":["https://openalex.org/I2801160905","https://openalex.org/I1313323035"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5006401614"],"corresponding_institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I2801160905"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.6798,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.74688301,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"31","issue":"5","first_page":"1330","last_page":"1355"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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.9990000128746033,"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.9970999956130981,"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/negation","display_name":"Negation","score":0.8273689150810242},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5792767405509949},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.561531126499176},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5591351389884949},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.4749032258987427},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.44604483246803284},{"id":"https://openalex.org/keywords/negation-as-failure","display_name":"Negation as failure","score":0.435861200094223},{"id":"https://openalex.org/keywords/representation-theorem","display_name":"Representation theorem","score":0.4182283580303192},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.40989673137664795},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3262391686439514},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.30055588483810425},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.2856100797653198},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.19574901461601257},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.17100790143013},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13029015064239502},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.12116947770118713},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.1184072196483612},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.1046316921710968}],"concepts":[{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.8273689150810242},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5792767405509949},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.561531126499176},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5591351389884949},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.4749032258987427},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44604483246803284},{"id":"https://openalex.org/C194146651","wikidata":"https://www.wikidata.org/wiki/Q2119400","display_name":"Negation as failure","level":5,"score":0.435861200094223},{"id":"https://openalex.org/C2776230367","wikidata":"https://www.wikidata.org/wiki/Q7314222","display_name":"Representation theorem","level":2,"score":0.4182283580303192},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.40989673137664795},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3262391686439514},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.30055588483810425},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.2856100797653198},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.19574901461601257},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.17100790143013},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13029015064239502},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.12116947770118713},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.1184072196483612},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.1046316921710968},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exab025","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exab025","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.550000011920929,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G2861732378","display_name":null,"funder_award_id":"075-15-2019-1614","funder_id":"https://openalex.org/F4320327494","funder_display_name":"Ministry of Science and Higher Education of the Russian Federation"}],"funders":[{"id":"https://openalex.org/F4320327494","display_name":"Ministry of Science and Higher Education of the Russian Federation","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W641016999","https://openalex.org/W1480405493","https://openalex.org/W1547615865","https://openalex.org/W1968513265","https://openalex.org/W1969746263","https://openalex.org/W2126833102","https://openalex.org/W2135923509","https://openalex.org/W2163751633","https://openalex.org/W2171090910","https://openalex.org/W2744343994","https://openalex.org/W2839780276","https://openalex.org/W3031086101","https://openalex.org/W3101546648","https://openalex.org/W4247797067","https://openalex.org/W4297918568","https://openalex.org/W6601307907","https://openalex.org/W6620798145"],"related_works":["https://openalex.org/W1596105581","https://openalex.org/W4214701509","https://openalex.org/W2077585551","https://openalex.org/W11254605","https://openalex.org/W1996986360","https://openalex.org/W112411749","https://openalex.org/W3198962255","https://openalex.org/W2386979918","https://openalex.org/W2144241415","https://openalex.org/W312992224"],"abstract_inverted_index":{"Abstract":[0],"The":[1,125],"idea":[2],"of":[3,28,36,59,66,105,122,135,158],"treating":[4],"negation":[5,23],"as":[6,151],"a":[7,114,136,152],"modality":[8],"manifests":[9],"itself":[10],"in":[11,16,53,79,91],"various":[12],"logical":[13],"systems,":[14],"especially":[15],"Do\u0161en\u2019s":[17],"propositional":[18,41],"logic":[19],"$\\textsf":[20,37,43,47,106,109,123],"{N}$,":[21],"whose":[22],"is":[24],"weaker":[25],"than":[26],"that":[27,144],"Johansson\u2019s":[29],"minimal":[30],"logic.":[31],"Among":[32],"the":[33,40,49,60,73,119,156],"interesting":[34],"extensions":[35],"{N}$":[38,107],"are":[39],"logics":[42],"{N}^{\\ast":[44,110],"}$":[45,111],"and":[46,69,108,112],"{Hype}$;":[48],"former":[50],"was":[51,88],"proposed":[52],"Cabalar":[54],"et":[55,96],"al.":[56],"(2006,":[57],"Proceedings":[58],"10th":[61],"International":[62],"Conference":[63],"on":[64],"Principles":[65],"Knowledge":[67],"Representation":[68],"Reasoning,":[70],"25\u201336),":[71],"while":[72],"latter":[74],"has":[75],"recently":[76],"been":[77],"advocated":[78],"Leitgeb":[80],"(2019,":[81],"J.":[82],"Philos.":[83],"Logic,":[84],"48,":[85],"305\u2013405),":[86],"but":[87],"first":[89],"introduced":[90],"Moisil":[92],"(1942,":[93],"Disquisitiones":[94],"Math.":[95],"Phys.,":[97],"2,":[98],"3\u201398).":[99],"I":[100],"shall":[101],"develop":[102],"predicate":[103,120,160],"versions":[104],"provide":[113],"simple":[115],"Routley-style":[116],"semantics":[117],"for":[118,155],"version":[121],"{Hype}$.":[124],"corresponding":[126],"strong":[127],"completeness":[128],"results":[129],"will":[130],"be":[131,142,149],"proved":[132],"by":[133],"means":[134],"useful":[137],"general":[138],"technique.":[139],"It":[140],"should":[141],"remarked":[143],"this":[145],"work":[146],"can":[147],"also":[148],"seen":[150],"starting":[153],"point":[154],"investigation":[157],"intuitionistic":[159],"modal":[161],"logics.":[162]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}