{"id":"https://openalex.org/W3198957077","doi":"https://doi.org/10.1093/jigpal/jzab026","title":"The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms","display_name":"The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms","publication_year":2021,"publication_date":"2021-08-12","ids":{"openalex":"https://openalex.org/W3198957077","doi":"https://doi.org/10.1093/jigpal/jzab026","mag":"3198957077"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzab026","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzab026","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"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":"Logic Journal of the IGPL","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/A5009832059","display_name":"Robin Hirsch","orcid":"https://orcid.org/0000-0002-2983-4178"},"institutions":[{"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":false,"raw_author_name":"Robin Hirsch","raw_affiliation_strings":["Department of Computer Science, University College , London WC1E 6BTE, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University College , London WC1E 6BTE, UK","institution_ids":["https://openalex.org/I45129253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012636172","display_name":"Szabolcs Mikul\u00e1s","orcid":null},"institutions":[{"id":"https://openalex.org/I98259816","display_name":"Birkbeck, University of London","ror":"https://ror.org/02mb95055","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I98259816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Szabolcs Mikul\u00e1s","raw_affiliation_strings":["Department of Computer Science and Information Systems , Birkbeck College, London WC1E 7HX, UK"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Information Systems , Birkbeck College, London WC1E 7HX, UK","institution_ids":["https://openalex.org/I98259816"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027252348","display_name":"Tim Stokes","orcid":"https://orcid.org/0000-0003-2908-8563"},"institutions":[{"id":"https://openalex.org/I52179390","display_name":"University of Waikato","ror":"https://ror.org/013fsnh78","country_code":"NZ","type":"education","lineage":["https://openalex.org/I52179390"]}],"countries":["NZ"],"is_corresponding":true,"raw_author_name":"Tim Stokes","raw_affiliation_strings":["Department of Mathematics, University of Waikato , Hamilton 3240, New Zealand"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Waikato , Hamilton 3240, New Zealand","institution_ids":["https://openalex.org/I52179390"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5027252348"],"corresponding_institution_ids":["https://openalex.org/I52179390"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.4199,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.69819067,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"30","issue":"5","first_page":"886","last_page":"906"},"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.9993000030517578,"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.9993000030517578,"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/T11567","display_name":"semigroups and automata theory","score":0.9975000023841858,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9936000108718872,"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/binary-relation","display_name":"Binary relation","score":0.7607421278953552},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7105762958526611},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6833676695823669},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.6193636059761047},{"id":"https://openalex.org/keywords/signature","display_name":"Signature (topology)","score":0.6119492053985596},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.5745784640312195},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5730587840080261},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.48828577995300293},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.45029306411743164},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.43202924728393555},{"id":"https://openalex.org/keywords/binary-operation","display_name":"Binary operation","score":0.4248027205467224},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.42443761229515076},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3790411949157715},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.27598339319229126},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2673383355140686},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.15751615166664124},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.08350551128387451},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.06354862451553345},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.06160750985145569},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.06056782603263855},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.05712118744850159}],"concepts":[{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.7607421278953552},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7105762958526611},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6833676695823669},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.6193636059761047},{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.6119492053985596},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.5745784640312195},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5730587840080261},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.48828577995300293},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.45029306411743164},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.43202924728393555},{"id":"https://openalex.org/C185529760","wikidata":"https://www.wikidata.org/wiki/Q164307","display_name":"Binary operation","level":2,"score":0.4248027205467224},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.42443761229515076},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3790411949157715},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.27598339319229126},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2673383355140686},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.15751615166664124},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.08350551128387451},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.06354862451553345},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.06160750985145569},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.06056782603263855},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.05712118744850159},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","level":1,"score":0.0},{"id":"https://openalex.org/C115624301","wikidata":"https://www.wikidata.org/wiki/Q895901","display_name":"Crystal structure","level":2,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1093/jigpal/jzab026","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzab026","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"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":"Logic Journal of the IGPL","raw_type":"journal-article"},{"id":"pmh:oai:eprints.bbk.ac.uk.oai2:46100","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400466","display_name":"BIROn (Birkbeck, University of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98259816","host_organization_name":"Birkbeck, University of London","host_organization_lineage":["https://openalex.org/I98259816"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.7799999713897705}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1483831133","https://openalex.org/W1580101121","https://openalex.org/W1766553653","https://openalex.org/W1949938974","https://openalex.org/W1974285328","https://openalex.org/W1999783127","https://openalex.org/W2059559554","https://openalex.org/W2076964487","https://openalex.org/W2157785961","https://openalex.org/W3138845629","https://openalex.org/W4212873283","https://openalex.org/W4248331534"],"related_works":["https://openalex.org/W1982456117","https://openalex.org/W1589666554","https://openalex.org/W2053547980","https://openalex.org/W2167154330","https://openalex.org/W4307416510","https://openalex.org/W1972112806","https://openalex.org/W1765478077","https://openalex.org/W2078975878","https://openalex.org/W3037203475","https://openalex.org/W2570506554"],"abstract_inverted_index":{"Abstract":[0],"Demonic":[1],"composition,":[2,14],"demonic":[3,6,34,52,112,145,170,173,200],"refinement":[4,16],"and":[5,18,32,51,85,114,116,139,153,163,172,202,231],"union":[7,21,174],"are":[8],"alternatives":[9],"to":[10,101,108,126],"the":[11,30,33,39,45,74,91,104,121,132,136,140,144,148,166,178,187,196,215,225],"usual":[12],"\u2018angelic\u2019":[13],"angelic":[15,19,31,46,83,137,151,203],"(inclusion)":[17],"(usual)":[20],"defined":[22],"on":[23],"binary":[24,80,109,193,222],"relations.":[25],"We":[26,184],"first":[27],"motivate":[28],"both":[29,56,68],"via":[35],"an":[36],"analysis":[37],"of":[38,41,64,77,79,93,120,150,190,192,199,218,221,228],"behaviour":[40],"non-deterministic":[42,65],"programs,":[43],"with":[44,48,53,195,224],"associated":[47],"partial":[49,219,226],"correctness":[50],"total":[54],"correctness,":[55],"cases":[57],"emerging":[58],"from":[59],"a":[60,117,128,210,234],"richer":[61],"algebraic":[62],"model":[63],"programs":[66],"incorporating":[67],"aspects.":[69],"Zarecki\u012d":[70],"has":[71,205],"shown":[72],"that":[73,103,158,177,186,214],"isomorphism":[75,188,216],"class":[76,92,189,217],"algebras":[78,191,220],"relations":[81,110,194,223],"under":[82,111],"composition":[84,113,152,171,201],"inclusion":[86,204,232],"is":[87,156,237],"finitely":[88,238],"axiomatized":[89],"as":[90],"ordered":[94],"semigroups.":[95],"The":[96],"proof":[97,122],"can":[98,123],"be":[99,124],"used":[100,125],"establish":[102],"same":[105,179],"axiomatization":[106,161,180],"applies":[107],"refinement,":[115],"further":[118],"modification":[119],"incorporate":[127],"zero":[129],"element":[130],"representing":[131],"empty":[133],"relation":[134,142],"in":[135,143],"case":[138],"full":[141],"case.":[146],"For":[147],"signature":[149,198],"union,":[154],"it":[155],"known":[157],"no":[159,206],"finite":[160,207],"exists,":[162],"we":[164,212],"show":[165,185,213],"analogous":[167],"result":[168],"for":[169,182],"by":[175],"showing":[176],"holds":[181],"both.":[183],"\u2018mixed\u2019":[197,235],"axiomatization.":[208],"As":[209],"contrast,":[211],"operation":[227],"constellation":[229],"product":[230],"(also":[233],"signature)":[236],"axiomatizable.":[239]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}