{"id":"https://openalex.org/W3115226918","doi":"https://doi.org/10.46298/lmcs-18(1:16)2022","title":"A duality theoretic view on limits of finite structures: Extended version","display_name":"A duality theoretic view on limits of finite structures: Extended version","publication_year":2022,"publication_date":"2022-01-19","ids":{"openalex":"https://openalex.org/W3115226918","doi":"https://doi.org/10.46298/lmcs-18(1:16)2022","mag":"3115226918"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-18(1:16)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(1:16)2022","pdf_url":"https://lmcs.episciences.org/8978/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/8978/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028851521","display_name":"Mai Gehrke","orcid":null},"institutions":[{"id":"https://openalex.org/I4210086528","display_name":"Institut de Chimie de Nice","ror":"https://ror.org/000pvc513","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I201841394","https://openalex.org/I4210086528","https://openalex.org/I4210128300"]},{"id":"https://openalex.org/I4210112930","display_name":"Laboratoire Jean-Alexandre Dieudonn\u00e9","ror":"https://ror.org/0274zdr66","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I201841394","https://openalex.org/I4210112930","https://openalex.org/I4210141950"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Mai Gehrke","raw_affiliation_strings":["CNRS and Universit Cte d'Azur, Nice, France","Laboratoire Jean Alexandre Dieudonn\u00e9"],"affiliations":[{"raw_affiliation_string":"CNRS and Universit Cte d'Azur, Nice, France","institution_ids":["https://openalex.org/I4210086528","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Laboratoire Jean Alexandre Dieudonn\u00e9","institution_ids":["https://openalex.org/I4210112930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048253290","display_name":"Tom\u00e1\u0161 Jakl","orcid":"https://orcid.org/0000-0003-1930-4904"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Tom\u00e1\u0161 Jakl","raw_affiliation_strings":["Department of Computer Science and Technology, University of Cambridge, UK","University of Cambridge [UK]"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, University of Cambridge, UK","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"University of Cambridge [UK]","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079172282","display_name":"Luca Reggio","orcid":"https://orcid.org/0000-0001-7331-7381"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Luca Reggio","raw_affiliation_strings":["Department of Computer Science, University of Oxford, UK","Department of Computer science [University College of London]"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, UK","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Department of Computer science [University College of London]","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5028851521"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210086528","https://openalex.org/I4210112930"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0112,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 18, Issue 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9973999857902527,"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"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9973999857902527,"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/T11567","display_name":"semigroups and automata theory","score":0.996999979019165,"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.9961000084877014,"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/duality","display_name":"Duality (order theory)","score":0.6632860898971558},{"id":"https://openalex.org/keywords/semiring","display_name":"Semiring","score":0.5665944814682007},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5293446779251099},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.48415595293045044},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.48085030913352966},{"id":"https://openalex.org/keywords/pairing","display_name":"Pairing","score":0.4600856304168701},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.4429228603839874},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4242808520793915},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41227155923843384},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.39257150888442993},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3800664246082306},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2692999243736267},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1193925142288208}],"concepts":[{"id":"https://openalex.org/C2778023678","wikidata":"https://www.wikidata.org/wiki/Q554403","display_name":"Duality (order theory)","level":2,"score":0.6632860898971558},{"id":"https://openalex.org/C21696900","wikidata":"https://www.wikidata.org/wiki/Q1333055","display_name":"Semiring","level":2,"score":0.5665944814682007},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5293446779251099},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.48415595293045044},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.48085030913352966},{"id":"https://openalex.org/C14103023","wikidata":"https://www.wikidata.org/wiki/Q11681459","display_name":"Pairing","level":3,"score":0.4600856304168701},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.4429228603839874},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4242808520793915},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41227155923843384},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.39257150888442993},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3800664246082306},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2692999243736267},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1193925142288208},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C54101563","wikidata":"https://www.wikidata.org/wiki/Q124131","display_name":"Superconductivity","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.46298/lmcs-18(1:16)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(1:16)2022","pdf_url":"https://lmcs.episciences.org/8978/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2012.09975","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2012.09975","pdf_url":"https://arxiv.org/pdf/2012.09975","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:zenodo.org:6762075","is_oa":true,"landing_page_url":"https://zenodo.org/record/6762075","pdf_url":"https://zenodo.org/record/6762075","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science 18(1) 16:1-16:38","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:HAL:hal-03795573v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03795573","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, 2022, Volume 18, Issue 1, ⟨10.46298/lmcs-18(1:16)2022⟩","raw_type":"Journal articles"},{"id":"pmh:oai:air.unimi.it:2434/1099931","is_oa":true,"landing_page_url":"https://hdl.handle.net/2434/1099931","pdf_url":null,"source":{"id":"https://openalex.org/S4306400516","display_name":"Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189158943","host_organization_name":"University of Milan","host_organization_lineage":["https://openalex.org/I189158943"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:b0e70488a6964c2c8ae45686a5a41f97","is_oa":true,"landing_page_url":"https://doaj.org/article/b0e70488a6964c2c8ae45686a5a41f97","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 18, Issue 1 (2022)","raw_type":"article"},{"id":"pmh:oai:eprints.ucl.ac.uk.OAI2:10152555","is_oa":false,"landing_page_url":"https://discovery.ucl.ac.uk/id/eprint/10152555/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400024","display_name":"UCL Discovery (University College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45129253","host_organization_name":"University College London","host_organization_lineage":["https://openalex.org/I45129253"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"   Logical Methods in Computer Science , 18  (1)   16:1-16:38.   (2022)      ","raw_type":"Article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-18(1:16)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(1:16)2022","pdf_url":"https://lmcs.episciences.org/8978/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G199127864","display_name":null,"funder_award_id":"670624","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2689612763","display_name":null,"funder_award_id":"Marie","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4409087053","display_name":null,"funder_award_id":"EP/T007257/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"},{"id":"https://openalex.org/G4541215744","display_name":"Resources and co-resources: a junction between semantics and descriptive complexity","funder_award_id":"EP/T007257/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4956428346","display_name":null,"funder_award_id":"Horizon 2020 research and innovatio","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5036817778","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innov","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5234821096","display_name":null,"funder_award_id":"EP/T007257/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6778362305","display_name":null,"funder_award_id":"837724","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8633428685","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innovat","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3115226918.pdf","grobid_xml":"https://content.openalex.org/works/W3115226918.grobid-xml"},"referenced_works_count":53,"referenced_works":["https://openalex.org/W93162488","https://openalex.org/W136390149","https://openalex.org/W1204058665","https://openalex.org/W1512172501","https://openalex.org/W1539618905","https://openalex.org/W1552703577","https://openalex.org/W1565369011","https://openalex.org/W1582269801","https://openalex.org/W1605891657","https://openalex.org/W1627175699","https://openalex.org/W1985583002","https://openalex.org/W1991748341","https://openalex.org/W1992205482","https://openalex.org/W2018378628","https://openalex.org/W2062990109","https://openalex.org/W2080412456","https://openalex.org/W2091607538","https://openalex.org/W2097485400","https://openalex.org/W2139772363","https://openalex.org/W2139845245","https://openalex.org/W2140351059","https://openalex.org/W2144063313","https://openalex.org/W2156304820","https://openalex.org/W2165602048","https://openalex.org/W2165893511","https://openalex.org/W2312862223","https://openalex.org/W2330548796","https://openalex.org/W2497371939","https://openalex.org/W2524361808","https://openalex.org/W2592122521","https://openalex.org/W2598719932","https://openalex.org/W2613837134","https://openalex.org/W2759067747","https://openalex.org/W2810685260","https://openalex.org/W2951816679","https://openalex.org/W2952430021","https://openalex.org/W2962720765","https://openalex.org/W2962785184","https://openalex.org/W2963659143","https://openalex.org/W3007353884","https://openalex.org/W3045593092","https://openalex.org/W3161850903","https://openalex.org/W3173836769","https://openalex.org/W4212867720","https://openalex.org/W4234350142","https://openalex.org/W4285719527","https://openalex.org/W6634958245","https://openalex.org/W6673210240","https://openalex.org/W6704939322","https://openalex.org/W6733986977","https://openalex.org/W6735005026","https://openalex.org/W6737912867","https://openalex.org/W6774117618"],"related_works":["https://openalex.org/W185248416","https://openalex.org/W4312619976","https://openalex.org/W202649520","https://openalex.org/W3015473028","https://openalex.org/W3201176751","https://openalex.org/W2381312783","https://openalex.org/W1993094293","https://openalex.org/W2029180842","https://openalex.org/W2024971119","https://openalex.org/W2090462187"],"abstract_inverted_index":{"A":[0],"systematic":[1],"theory":[2,79,127],"of":[3,27,44,63,75,86,109,125,128,143,150,153,179,195],"structural":[4,129],"limits":[5,49],"for":[6,100],"finite":[7,28],"models":[8],"has":[9],"been":[10],"developed":[11],"by":[12,81],"Nesetril":[13],"and":[14,72,97,104,204,208],"Ossona":[15],"de":[16],"Mendez.":[17],"It":[18],"is":[19],"based":[20],"on":[21,163,168,202,205],"the":[22,25,38,47,73,83,106,117,122,126,132,139,144,148,171,175,182,193],"insight":[23],"that":[24,55,138],"collection":[26],"structures":[29],"can":[30,50],"be":[31,51],"embedded,":[32],"via":[33,69],"a":[34,42,56,95,151,157],"map":[35],"they":[36],"call":[37],"Stone":[39,145],"pairing,":[40],"in":[41,166,197],"space":[43,62],"measures,":[45],"where":[46],"desired":[48],"computed.":[52],"We":[53,93],"show":[54],"closely":[57],"related":[58,210],"but":[59],"finer":[60],"grained":[61],"(finitely":[64],"additive)":[65],"measures":[66],"arises":[67],"--":[68,80],"Stone-Priestley":[70],"duality":[71,140],"notion":[74,178],"types":[76,180],"from":[77],"model":[78,176],"enriching":[82],"expressive":[84],"power":[85],"first-order":[87],"logic":[88,103,167,196],"with":[89],"certain":[90],"\"probabilistic":[91],"operators\".":[92],"provide":[94],"sound":[96],"complete":[98],"calculus":[99],"this":[101,110,186],"extended":[102],"expose":[105],"functorial":[107],"nature":[108],"construction.":[111],"The":[112],"consequences":[113],"are":[114],"two-fold.":[115],"On":[116,131],"one":[118],"hand,":[119,134],"we":[120,173],"identify":[121,174],"logical":[123],"gist":[124],"limits.":[130],"other":[133],"our":[135],"construction":[136],"shows":[137],"theoretic":[141,177],"variant":[142],"pairing":[146],"captures":[147],"adding":[149],"layer":[152],"quantifiers,":[154],"thus":[155],"making":[156],"strong":[158],"link":[159],"to":[160,191],"recent":[161],"work":[162],"semiring":[164],"quantifiers":[165],"words.":[169],"In":[170],"process,":[172],"as":[181],"unifying":[183],"concept":[184],"behind":[185],"link.":[187],"These":[188],"results":[189],"contribute":[190],"bridging":[192],"strands":[194],"computer":[198],"science":[199],"which":[200],"focus":[201],"semantics":[203],"more":[206],"algorithmic":[207],"complexity":[209],"areas,":[211],"respectively.":[212]},"counts_by_year":[],"updated_date":"2026-04-13T07:58:08.660418","created_date":"2025-10-10T00:00:00"}