{"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":{"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/P4310311647","https://openalex.org/P4310311648"],"host_organization_lineage_names":["University of Oxford","Oxford University Press"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://eprints.bbk.ac.uk/id/eprint/46100/1/demonic-revised-post-review.pdf","any_repository_has_fulltext":true},"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"]}]}],"institution_assertions":[],"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,"provenance":"doaj"},"apc_paid":null,"fwci":0.342,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":3,"citation_normalized_percentile":{"value":0.634001,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":72,"max":76},"biblio":{"volume":"30","issue":"5","first_page":"886","last_page":"906"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9993,"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.9993,"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.9975,"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.9936,"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.7607421},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.6193636},{"id":"https://openalex.org/keywords/signature","display_name":"Signature (topology)","score":0.6119492},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization","score":0.48828578},{"id":"https://openalex.org/keywords/binary-operation","display_name":"Binary operation","score":0.42480272}],"concepts":[{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.7607421},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7105763},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.68336767},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.6193636},{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.6119492},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.57457846},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5730588},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.48828578},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.45029306},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.43202925},{"id":"https://openalex.org/C185529760","wikidata":"https://www.wikidata.org/wiki/Q164307","display_name":"Binary operation","level":2,"score":0.42480272},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4244376},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3790412},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2759834},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.26733834},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.15751615},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.08350551},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.063548625},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.06160751},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.060567826},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.057121187},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","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/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","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}],"mesh":[],"locations_count":2,"locations":[{"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/P4310311647","https://openalex.org/P4310311648"],"host_organization_lineage_names":["University of Oxford","Oxford University Press"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://eprints.bbk.ac.uk/id/eprint/46100/1/demonic-revised-post-review.pdf","pdf_url":"https://eprints.bbk.ac.uk/id/eprint/46100/1/demonic-revised-post-review.pdf","source":{"id":"https://openalex.org/S4306400466","display_name":"BIROn (Birkbeck, University of London)","issn_l":null,"issn":null,"is_oa":true,"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":["Birkbeck, University of London"],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://eprints.bbk.ac.uk/id/eprint/46100/1/demonic-revised-post-review.pdf","pdf_url":"https://eprints.bbk.ac.uk/id/eprint/46100/1/demonic-revised-post-review.pdf","source":{"id":"https://openalex.org/S4306400466","display_name":"BIROn (Birkbeck, University of London)","issn_l":null,"issn":null,"is_oa":true,"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":["Birkbeck, University of London"],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false},"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.78}],"grants":[],"datasets":[],"versions":[],"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/W4307416510","https://openalex.org/W3037203475","https://openalex.org/W2570506554","https://openalex.org/W2167154330","https://openalex.org/W2078975878","https://openalex.org/W2053547980","https://openalex.org/W1982456117","https://openalex.org/W1972112806","https://openalex.org/W1765478077","https://openalex.org/W1589666554"],"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]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W3198957077","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2024-12-16T08:25:48.419553","created_date":"2021-09-27"}