{"id":"https://openalex.org/W2947956724","doi":"https://doi.org/10.1145/3326938.3326940","title":"Resource semantics","display_name":"Resource semantics","publication_year":2019,"publication_date":"2019-04-22","ids":{"openalex":"https://openalex.org/W2947956724","doi":"https://doi.org/10.1145/3326938.3326940","mag":"2947956724"},"language":"en","primary_location":{"id":"doi:10.1145/3326938.3326940","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3326938.3326940","pdf_url":null,"source":{"id":"https://openalex.org/S4210221220","display_name":"ACM SIGLOG News","issn_l":"2372-3491","issn":["2372-3491"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGLOG News","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/A5013218535","display_name":"David Pym","orcid":"https://orcid.org/0000-0002-6504-5838"},"institutions":[{"id":"https://openalex.org/I4210128584","display_name":"The Alan Turing Institute","ror":"https://ror.org/035dkdb55","country_code":"GB","type":"facility","lineage":["https://openalex.org/I4210128584"]},{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"David Pym","raw_affiliation_strings":["UCL and The Alan Turing Institute, London"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UCL and The Alan Turing Institute, London","institution_ids":["https://openalex.org/I4210128584","https://openalex.org/I45129253"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5013218535"],"corresponding_institution_ids":["https://openalex.org/I4210128584","https://openalex.org/I45129253"],"apc_list":null,"apc_paid":null,"fwci":1.596,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.87646256,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"6","issue":"2","first_page":"5","last_page":"41"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9995999932289124,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9995999932289124,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9990000128746033,"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/interpretation","display_name":"Interpretation (philosophy)","score":0.5893383622169495},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.580752432346344},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.578325629234314},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.522406816482544},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5069311261177063},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.5018548965454102},{"id":"https://openalex.org/keywords/epistemic-modal-logic","display_name":"Epistemic modal logic","score":0.4833538234233856},{"id":"https://openalex.org/keywords/axiomatic-semantics","display_name":"Axiomatic semantics","score":0.46553459763526917},{"id":"https://openalex.org/keywords/semantic-interpretation","display_name":"Semantic interpretation","score":0.45690006017684937},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.450104683637619},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.44855010509490967},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.44038981199264526},{"id":"https://openalex.org/keywords/well-founded-semantics","display_name":"Well-founded semantics","score":0.4192157983779907},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.41266608238220215},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.41083893179893494},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.38605797290802},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.34789466857910156},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34351593255996704},{"id":"https://openalex.org/keywords/denotational-semantics","display_name":"Denotational semantics","score":0.34346452355384827},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.31064027547836304}],"concepts":[{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.5893383622169495},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.580752432346344},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.578325629234314},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.522406816482544},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5069311261177063},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.5018548965454102},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.4833538234233856},{"id":"https://openalex.org/C58041814","wikidata":"https://www.wikidata.org/wiki/Q792533","display_name":"Axiomatic semantics","level":5,"score":0.46553459763526917},{"id":"https://openalex.org/C193125573","wikidata":"https://www.wikidata.org/wiki/Q7449065","display_name":"Semantic interpretation","level":2,"score":0.45690006017684937},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.450104683637619},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.44855010509490967},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.44038981199264526},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.4192157983779907},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.41266608238220215},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.41083893179893494},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.38605797290802},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.34789466857910156},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34351593255996704},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.34346452355384827},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31064027547836304},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3326938.3326940","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3326938.3326940","pdf_url":null,"source":{"id":"https://openalex.org/S4210221220","display_name":"ACM SIGLOG News","issn_l":"2372-3491","issn":["2372-3491"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGLOG News","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth","score":0.4699999988079071}],"awards":[{"id":"https://openalex.org/G1641431731","display_name":null,"funder_award_id":"EP/R006865/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7326206238","display_name":null,"funder_award_id":"EP/S013008/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":79,"referenced_works":["https://openalex.org/W113100845","https://openalex.org/W300190828","https://openalex.org/W336063547","https://openalex.org/W1514758454","https://openalex.org/W1536217426","https://openalex.org/W1573078772","https://openalex.org/W1593617641","https://openalex.org/W1699512023","https://openalex.org/W1854089346","https://openalex.org/W1953089651","https://openalex.org/W1964976097","https://openalex.org/W1973872989","https://openalex.org/W1978260344","https://openalex.org/W1992012690","https://openalex.org/W1992876208","https://openalex.org/W2001748564","https://openalex.org/W2008132476","https://openalex.org/W2009372148","https://openalex.org/W2013474929","https://openalex.org/W2016862652","https://openalex.org/W2021257181","https://openalex.org/W2023375168","https://openalex.org/W2023545901","https://openalex.org/W2032230034","https://openalex.org/W2036996017","https://openalex.org/W2049362364","https://openalex.org/W2070157304","https://openalex.org/W2075644848","https://openalex.org/W2095456760","https://openalex.org/W2096204190","https://openalex.org/W2100344930","https://openalex.org/W2111619838","https://openalex.org/W2112448481","https://openalex.org/W2112576833","https://openalex.org/W2131238121","https://openalex.org/W2132761501","https://openalex.org/W2134871878","https://openalex.org/W2135206833","https://openalex.org/W2146699143","https://openalex.org/W2147323041","https://openalex.org/W2148032817","https://openalex.org/W2153017713","https://openalex.org/W2157110814","https://openalex.org/W2171330236","https://openalex.org/W2200757872","https://openalex.org/W2219757995","https://openalex.org/W2239871128","https://openalex.org/W2257979093","https://openalex.org/W2272595054","https://openalex.org/W2324455841","https://openalex.org/W2330028608","https://openalex.org/W2346540577","https://openalex.org/W2469290325","https://openalex.org/W2475588791","https://openalex.org/W2513640037","https://openalex.org/W2558436835","https://openalex.org/W2761182803","https://openalex.org/W2806687211","https://openalex.org/W2911865844","https://openalex.org/W2912052495","https://openalex.org/W2940960788","https://openalex.org/W3023216518","https://openalex.org/W3037826211","https://openalex.org/W3098409608","https://openalex.org/W3105347606","https://openalex.org/W3141527788","https://openalex.org/W4206381645","https://openalex.org/W4206485129","https://openalex.org/W4243994983","https://openalex.org/W4252380885","https://openalex.org/W6631096410","https://openalex.org/W6631853280","https://openalex.org/W6652469112","https://openalex.org/W6654928225","https://openalex.org/W6655405190","https://openalex.org/W6662330484","https://openalex.org/W6719522377","https://openalex.org/W6752097712","https://openalex.org/W6837455616"],"related_works":["https://openalex.org/W2029220517","https://openalex.org/W2508757230","https://openalex.org/W1005446783","https://openalex.org/W996903698","https://openalex.org/W2073311296","https://openalex.org/W2545796973","https://openalex.org/W144015317","https://openalex.org/W342706626","https://openalex.org/W2265342114","https://openalex.org/W2098738693"],"abstract_inverted_index":{"The":[0,12],"Logic":[1,188],"of":[2,15,30,68,81,95,128,141,146,158,161,174,181,198,201,205],"Bunched":[3],"Implications":[4],"(BI)":[5],"was":[6],"introduced":[7],"by":[8,88],"O'Hearn":[9],"and":[10,60,99,102,148,169,189,193,204],"Pym.":[11],"original":[13],"presentation":[14],"BI":[16,52,69],"emphasised":[17],"its":[18],"role":[19],"as":[20,74,112,136],"a":[21,39,44,48,65,91,110,118,123,152,155],"system":[22],"for":[23,104,154],"formal":[24],"logic":[25],"(broadly":[26],"in":[27,57,83,108,126,144,172],"the":[28,79,115,159,178],"tradition":[29],"relevant":[31],"logic)":[32],"that":[33,70],"has":[34],"some":[35],"interesting":[36],"properties,":[37],"combining":[38],"clean":[40],"proof":[41],"theory,":[42],"including":[43,97,164,184],"categorical":[45],"interpretation,":[46],"with":[47,122,186],"simple":[49],"truth-functional":[50],"semantics.":[51,215],"quickly":[53],"found":[54],"significant":[55],"applications":[56],"program":[58,61],"verification":[59],"analysis,":[62],"chiefly":[63],"through":[64],"specific":[66],"theory":[67],"is":[71,90],"commonly":[72],"known":[73],"'Separation":[75],"Logic'.":[76],"We":[77,176,195],"survey":[78],"state":[80],"work":[82],"bunched":[84,162],"logics":[85,101,103],"-":[86,107],"which,":[87],"now,":[89],"quite":[92],"large":[93],"family":[94,160],"systems,":[96],"modal":[98],"epistemic":[100],"layered":[105,167],"graphs":[106],"such":[109,131],"way":[111],"to":[113,208],"organize":[114],"ideas":[116,180,190],"into":[117],"coherent":[119],"(semantic)":[120],"picture":[121,132],"strong":[124],"interpretation":[125,140,157],"terms":[127,145,173],"resources.":[129,175],"One":[130],"can":[133],"be":[134],"seen":[135],"deriving":[137],"from":[138,191],"an":[139,206],"BI's":[142,199],"semantics":[143],"resources,":[147],"this":[149],"view":[150],"provides":[151],"basis":[153],"systematic":[156],"logics,":[163],"modal,":[165],"epistemic,":[166],"graph,":[168],"process-theoretic":[170],"variants,":[171],"explain":[177],"basic":[179],"resource":[182,214],"semantics,":[183],"comparisons":[185],"Linear":[187],"economics":[192],"physics.":[194],"include":[196],"discussions":[197],"\u03bb-calculus,":[200],"Separation":[202],"Logic,":[203],"approach":[207],"distributed":[209],"systems":[210],"modelling":[211],"based":[212],"on":[213]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2019-06-07T00:00:00"}