{"id":"https://openalex.org/W4240444301","doi":"https://doi.org/10.1093/logcom/exaa064","title":"Editorial","display_name":"Editorial","publication_year":2020,"publication_date":"2020-11-19","ids":{"openalex":"https://openalex.org/W4240444301","doi":"https://doi.org/10.1093/logcom/exaa064"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exaa064","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exaa064","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":"editorial","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/A5075172069","display_name":"Sergei Art\u00ebmov","orcid":"https://orcid.org/0000-0002-5605-6172"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Sergei Artemov","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5082347461","display_name":"Anil Nerode","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Anil Nerode","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5075172069"],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.28177835,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"30","issue":"8","first_page":"1429","last_page":"1429"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.934499979019165,"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.934499979019165,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9045000076293945,"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/programming-language","display_name":"Programming language","score":0.5698891282081604},{"id":"https://openalex.org/keywords/computational-logic","display_name":"Computational logic","score":0.553657054901123},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5219190120697021},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5090529322624207},{"id":"https://openalex.org/keywords/philosophy-of-logic","display_name":"Philosophy of logic","score":0.5078580975532532},{"id":"https://openalex.org/keywords/paraconsistent-logic","display_name":"Paraconsistent logic","score":0.5045491456985474},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.4971764385700226},{"id":"https://openalex.org/keywords/proof-theory","display_name":"Proof theory","score":0.4850456118583679},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.46217507123947144},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.4240982234477997},{"id":"https://openalex.org/keywords/classical-logic","display_name":"Classical logic","score":0.4234389662742615},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.4223257005214691},{"id":"https://openalex.org/keywords/mathematical-logic","display_name":"Mathematical logic","score":0.417858749628067},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3961877226829529},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38856321573257446},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.33714407682418823},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2863723039627075},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.2823799252510071},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.2739664912223816},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.2644893229007721},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.1678168773651123},{"id":"https://openalex.org/keywords/fuzzy-set","display_name":"Fuzzy set","score":0.13198503851890564},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.12823453545570374},{"id":"https://openalex.org/keywords/fuzzy-number","display_name":"Fuzzy number","score":0.10723951458930969}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5698891282081604},{"id":"https://openalex.org/C124047733","wikidata":"https://www.wikidata.org/wiki/Q5157327","display_name":"Computational logic","level":3,"score":0.553657054901123},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5219190120697021},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5090529322624207},{"id":"https://openalex.org/C101874905","wikidata":"https://www.wikidata.org/wiki/Q2476757","display_name":"Philosophy of logic","level":2,"score":0.5078580975532532},{"id":"https://openalex.org/C16796852","wikidata":"https://www.wikidata.org/wiki/Q426592","display_name":"Paraconsistent logic","level":4,"score":0.5045491456985474},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.4971764385700226},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.4850456118583679},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.46217507123947144},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.4240982234477997},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.4234389662742615},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.4223257005214691},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.417858749628067},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3961877226829529},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38856321573257446},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.33714407682418823},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2863723039627075},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.2823799252510071},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.2739664912223816},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.2644893229007721},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.1678168773651123},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.13198503851890564},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.12823453545570374},{"id":"https://openalex.org/C1883856","wikidata":"https://www.wikidata.org/wiki/Q3407463","display_name":"Fuzzy number","level":4,"score":0.10723951458930969},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exaa064","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exaa064","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1760219920","https://openalex.org/W2395980704","https://openalex.org/W2010758696","https://openalex.org/W2153288022","https://openalex.org/W1766174263","https://openalex.org/W2029083435","https://openalex.org/W2393916216","https://openalex.org/W2483354672","https://openalex.org/W1556561189","https://openalex.org/W2140910855"],"abstract_inverted_index":{"This":[0],"volume":[1],"stems":[2],"from":[3],"the":[4,30],"International":[5],"Symposium":[6],"on":[7],"Logical":[8],"Foundations":[9],"of":[10,29,44,79,105,109,143,172,186],"Computer":[11],"Science":[12],"(LFCS\u201918),":[13],"held":[14],"in":[15,126,133,179,200],"Deerfield":[16],"Beach,":[17],"Florida,":[18],"January":[19],"8":[20],"\u2013":[21,74],"11,":[22],"2018.":[23],"Subsequent":[24],"to":[25,34,36],"that":[26],"meeting":[27],"some":[28],"speakers":[31],"were":[32,83],"invited":[33],"contribute":[35],"this":[37],"volume.":[38],"The":[39],"LFCS\u201918":[40,77],"Steering":[41],"Committee":[42],"consisted":[43],"Anil":[45],"Nerode":[46],"(Ithaca,":[47],"NY,":[48],"General":[49],"Chair);":[50],"Stephen":[51],"Cook":[52],"(Toronto);":[53],"Dirk":[54],"van":[55],"Dalen":[56],"(Utrecht);":[57],"Yuri":[58],"Matiyasevich":[59],"(St.":[60],"Petersburg);":[61],"Gerald":[62],"Sacks":[63],"(Cambridge,":[64],"MA);":[65],"Andre":[66],"Scedrov":[67],"(Philadelphia,":[68],"PA);":[69],"Dana":[70],"Scott":[71],"(Pittsburgh,":[72],"PA":[73],"Berkeley,":[75],"CA).":[76],"topics":[78],"interest":[80],"included,":[81],"but":[82],"not":[84],"limited":[85],"to:":[86],"constructive":[87],"mathematics":[88],"and":[89,97,101,116,120,128,136,148,152,157,163,167,174,182],"type":[90,93],"theory;":[91,94,145],"homotopy":[92],"logic,":[95],"automata,":[96],"automatic":[98],"structures;":[99],"computability":[100],"randomness;":[102],"logical":[103,107,124,131,141],"foundations":[104,142],"programming;":[106],"aspects":[108],"computational":[110],"complexity;":[111,113],"parameterized":[112],"logic":[114,147,156,178,185],"programming":[115],"constraints;":[117],"automated":[118],"deduction":[119],"interactive":[121],"theorem":[122],"proving;":[123],"methods":[125,132],"protocol":[127],"program":[129,134],"verification;":[130],"specification":[135],"extraction;":[137],"domain":[138],"theory":[139,181],"logics;":[140,165,170,191,197],"database":[144],"equational":[146],"term":[149],"rewriting;":[150],"lambda":[151],"combinatory":[153],"calculi;":[154],"categorical":[155],"topological":[158],"semantics;":[159],"linear":[160],"logic;":[161,194],"epistemic":[162],"temporal":[164],"intelligent":[166],"multiple-agent":[168],"system":[169,190,195],"logics":[171,199],"proof":[173],"justification;":[175],"non-monotonic":[176],"reasoning;":[177],"game":[180],"social":[183],"software;":[184],"hybrid":[187],"systems;":[188],"distributed":[189],"mathematical":[192],"fuzzy":[193],"design":[196],"other":[198],"computer":[201],"science.":[202]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-05-12T00:00:00"}