{"id":"https://openalex.org/W1967405807","doi":"https://doi.org/10.1145/1140612.1140628","title":"Coalgebras and their logics","display_name":"Coalgebras and their logics","publication_year":2006,"publication_date":"2006-06-01","ids":{"openalex":"https://openalex.org/W1967405807","doi":"https://doi.org/10.1145/1140612.1140628","mag":"1967405807"},"language":"en","primary_location":{"id":"doi:10.1145/1140612.1140628","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1140612.1140628","pdf_url":null,"source":{"id":"https://openalex.org/S4210206003","display_name":"ACM SIGACT News","issn_l":"0163-5700","issn":["0163-5700","1943-5827"],"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 SIGACT 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/A5057868877","display_name":"Alexander Kurz","orcid":"https://orcid.org/0000-0002-8685-5207"},"institutions":[{"id":"https://openalex.org/I153648349","display_name":"University of Leicester","ror":"https://ror.org/04h699437","country_code":"GB","type":"education","lineage":["https://openalex.org/I153648349"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Alexander Kurz","raw_affiliation_strings":["University of Leicester, UK","#N#University of Leicester, UK#N#"],"affiliations":[{"raw_affiliation_string":"University of Leicester, UK","institution_ids":["https://openalex.org/I153648349"]},{"raw_affiliation_string":"#N#University of Leicester, UK#N#","institution_ids":["https://openalex.org/I153648349"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5057868877"],"corresponding_institution_ids":["https://openalex.org/I153648349"],"apc_list":null,"apc_paid":null,"fwci":4.1869,"has_fulltext":false,"cited_by_count":31,"citation_normalized_percentile":{"value":0.93552077,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"37","issue":"2","first_page":"57","last_page":"77"},"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.9997000098228455,"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.9997000098228455,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9965000152587891,"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.992900013923645,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/citation","display_name":"Citation","score":0.7892863154411316},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.571512758731842},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.43639615178108215},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.3339691162109375},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.32636892795562744},{"id":"https://openalex.org/keywords/operations-research","display_name":"Operations research","score":0.3214321434497833},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20048490166664124}],"concepts":[{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.7892863154411316},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.571512758731842},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.43639615178108215},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.3339691162109375},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.32636892795562744},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.3214321434497833},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20048490166664124}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1140612.1140628","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1140612.1140628","pdf_url":null,"source":{"id":"https://openalex.org/S4210206003","display_name":"ACM SIGACT News","issn_l":"0163-5700","issn":["0163-5700","1943-5827"],"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 SIGACT News","raw_type":"journal-article"},{"id":"pmh:oai:digitalcommons.chapman.edu:engineering_articles-1007","is_oa":false,"landing_page_url":"https://digitalcommons.chapman.edu/engineering_articles/8","pdf_url":null,"source":{"id":"https://openalex.org/S4377196324","display_name":"Chapman University Digital Commons (Chapman University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I185071736","host_organization_name":"Chapman University","host_organization_lineage":["https://openalex.org/I185071736"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Engineering Faculty Articles and Research","raw_type":null},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.341.5019","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.5019","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/cs/0605128v1.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":69,"referenced_works":["https://openalex.org/W13377856","https://openalex.org/W45032386","https://openalex.org/W193631351","https://openalex.org/W1482240164","https://openalex.org/W1485270633","https://openalex.org/W1509918383","https://openalex.org/W1510082095","https://openalex.org/W1516264096","https://openalex.org/W1542578030","https://openalex.org/W1542706591","https://openalex.org/W1544334485","https://openalex.org/W1544933093","https://openalex.org/W1547189343","https://openalex.org/W1561011284","https://openalex.org/W1568599313","https://openalex.org/W1596123009","https://openalex.org/W1732290756","https://openalex.org/W1831869606","https://openalex.org/W1978375202","https://openalex.org/W1981607181","https://openalex.org/W1982431152","https://openalex.org/W1982910240","https://openalex.org/W1985275803","https://openalex.org/W1995762235","https://openalex.org/W2003770962","https://openalex.org/W2007768547","https://openalex.org/W2008168440","https://openalex.org/W2011774143","https://openalex.org/W2014817951","https://openalex.org/W2016339438","https://openalex.org/W2017096836","https://openalex.org/W2022263458","https://openalex.org/W2028958199","https://openalex.org/W2032386884","https://openalex.org/W2046750700","https://openalex.org/W2056138173","https://openalex.org/W2060917500","https://openalex.org/W2061056925","https://openalex.org/W2088189323","https://openalex.org/W2088378600","https://openalex.org/W2093397547","https://openalex.org/W2101032471","https://openalex.org/W2112911540","https://openalex.org/W2115452397","https://openalex.org/W2123876422","https://openalex.org/W2137773821","https://openalex.org/W2139772363","https://openalex.org/W2140570142","https://openalex.org/W2143185910","https://openalex.org/W2143893379","https://openalex.org/W2151044855","https://openalex.org/W2154547008","https://openalex.org/W2164810907","https://openalex.org/W2167981859","https://openalex.org/W2287405122","https://openalex.org/W2315064349","https://openalex.org/W2404846429","https://openalex.org/W2551720480","https://openalex.org/W2592837392","https://openalex.org/W2610670723","https://openalex.org/W2688977212","https://openalex.org/W2912848864","https://openalex.org/W2914212232","https://openalex.org/W2951572270","https://openalex.org/W2963969921","https://openalex.org/W3177659913","https://openalex.org/W4233667843","https://openalex.org/W4238665603","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W4317642157","https://openalex.org/W2363440148","https://openalex.org/W2317510431","https://openalex.org/W4239542068","https://openalex.org/W134931362","https://openalex.org/W1990811139","https://openalex.org/W2352401039","https://openalex.org/W2181265275","https://openalex.org/W1974749013"],"abstract_inverted_index":{"\"Transition":[0],"systems":[1,25],"pervade":[2],"much":[3],"of":[4,12,16,51],"computer":[5],"science.":[6],"This":[7],"article":[8],"outlines":[9],"the":[10,38,48,67],"beginnings":[11],"a":[13],"general":[14],"theory":[15],"specification":[17],"languages":[18,31],"for":[19],"transition":[20,24],"systems.":[21],"More":[22],"specifically,":[23],"are":[26,45],"generalised":[27],"to":[28,65],"coalgebras.":[29],"Specification":[30],"together":[32],"with":[33],"their":[34,70],"proof":[35],"systems,":[36],"in":[37],"following":[39],"called":[40],"(logical":[41],"or":[42],"modal)":[43],"calculi,":[44],"presented":[46],"by":[47,57],"associated":[49],"classes":[50],"algebras":[52],"(e.g.,":[53],"classical":[54],"propositional":[55],"logic":[56],"Boolean":[58],"algebras).":[59],"Stone":[60],"duality":[61],"will":[62],"be":[63],"used":[64],"relate":[66],"logics":[68],"and":[69],"coalgebraic":[71],"semantics.\"":[72]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}