{"id":"https://openalex.org/W4415271085","doi":"https://doi.org/10.46298/lmcs-21(4:10)2025","title":"A categorical account of composition methods in logic (extended version)","display_name":"A categorical account of composition methods in logic (extended version)","publication_year":2025,"publication_date":"2025-10-16","ids":{"openalex":"https://openalex.org/W4415271085","doi":"https://doi.org/10.46298/lmcs-21(4:10)2025"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-21(4:10)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(4:10)2025","pdf_url":"https://lmcs.episciences.org/16726/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":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/16726/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048253290","display_name":"Tom\u00e1\u0161 Jakl","orcid":"https://orcid.org/0000-0003-1930-4904"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Tom\u00e1\u0161 Jakl","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109391931","display_name":"Dan Marsden","orcid":"https://orcid.org/0000-0003-0579-0323"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dan Marsden","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5029017248","display_name":"Nihil Shah","orcid":"https://orcid.org/0000-0003-2844-0828"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nihil Shah","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5048253290"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14855982,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 21, Issue 4","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9225000143051147,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9225000143051147,"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/game-semantics","display_name":"Game semantics","score":0.5734999775886536},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5333999991416931},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.5278000235557556},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.5095000267028809},{"id":"https://openalex.org/keywords/classical-logic","display_name":"Classical logic","score":0.47540000081062317},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.4602000117301941},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.45249998569488525},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4187999963760376},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.40470001101493835},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.39910000562667847}],"concepts":[{"id":"https://openalex.org/C9672783","wikidata":"https://www.wikidata.org/wiki/Q65122115","display_name":"Game semantics","level":5,"score":0.5734999775886536},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5333999991416931},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.5278000235557556},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.5095000267028809},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.47540000081062317},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.47189998626708984},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.4602000117301941},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4535999894142151},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.45249998569488525},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4187999963760376},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4142000079154968},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.40470001101493835},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.39910000562667847},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.3831000030040741},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.3792000114917755},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3614000082015991},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.3465000092983246},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.33329999446868896},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.30329999327659607},{"id":"https://openalex.org/C98224912","wikidata":"https://www.wikidata.org/wiki/Q6901647","display_name":"Monoidal t-norm logic","level":5,"score":0.29649999737739563},{"id":"https://openalex.org/C20693621","wikidata":"https://www.wikidata.org/wiki/Q6667502","display_name":"Logical framework","level":2,"score":0.29429998993873596},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.289000004529953},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2825999855995178},{"id":"https://openalex.org/C47030870","wikidata":"https://www.wikidata.org/wiki/Q467606","display_name":"Model theory","level":2,"score":0.2824999988079071},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.28209999203681946},{"id":"https://openalex.org/C2775940519","wikidata":"https://www.wikidata.org/wiki/Q17067742","display_name":"Logic model","level":2,"score":0.27970001101493835},{"id":"https://openalex.org/C34849589","wikidata":"https://www.wikidata.org/wiki/Q4345785","display_name":"Atomic sentence","level":3,"score":0.2791000008583069},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.2775999903678894},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.27480000257492065},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.2635999917984009},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.26190000772476196},{"id":"https://openalex.org/C173856430","wikidata":"https://www.wikidata.org/wiki/Q3257964","display_name":"Separation logic","level":2,"score":0.25940001010894775},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2583000063896179},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.25679999589920044},{"id":"https://openalex.org/C20528804","wikidata":"https://www.wikidata.org/wiki/Q997433","display_name":"Dependent type","level":3,"score":0.2556000053882599}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.46298/lmcs-21(4:10)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(4:10)2025","pdf_url":"https://lmcs.episciences.org/16726/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"}],"best_oa_location":{"id":"doi:10.46298/lmcs-21(4:10)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(4:10)2025","pdf_url":"https://lmcs.episciences.org/16726/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/G1741043573","display_name":null,"funder_award_id":"67985840","funder_id":"https://openalex.org/F4320322482","funder_display_name":"Akademie V\u011bd \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G1789877524","display_name":"Limits of Symmetric Computation","funder_award_id":"EP/X028259/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2132661106","display_name":"Resources and co-resources: a junction between semantics and descriptive complexity","funder_award_id":"EP/T00696X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5820235959","display_name":null,"funder_award_id":"EXPRO","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G5831837392","display_name":null,"funder_award_id":"RVO 67985840","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G677526280","display_name":null,"funder_award_id":"20-31529X","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G7574269588","display_name":null,"funder_award_id":"67985840","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G8746491555","display_name":null,"funder_award_id":"RVO 67985840","funder_id":"https://openalex.org/F4320322482","funder_display_name":"Akademie V\u011bd \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G8847727193","display_name":null,"funder_award_id":"RVO 6798584","funder_id":"https://openalex.org/F4320322482","funder_display_name":"Akademie V\u011bd \u010cesk\u00e9 Republiky"}],"funders":[{"id":"https://openalex.org/F4320314707","display_name":"Government of the United Kingdom","ror":"https://ror.org/05wnh3t63"},{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"},{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"},{"id":"https://openalex.org/F4320322482","display_name":"Akademie V\u011bd \u010cesk\u00e9 Republiky","ror":"https://ror.org/053avzc18"},{"id":"https://openalex.org/F4320334322","display_name":"HORIZON EUROPE Framework Programme","ror":null},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4415271085.pdf","grobid_xml":"https://content.openalex.org/works/W4415271085.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,120,137],"present":[1],"a":[2,14,85,150,153,184],"categorical":[3],"theory":[4,12,134],"of":[5,27,53,73,95,117,135,146,152,172,180,186,191,212,218],"the":[6,35,61,93,106,133,162,170,178,195,213,219],"composition":[7,36,50],"methods":[8,37,140],"in":[9,84,92,132,177,194,197],"finite":[10],"model":[11,68],"--":[13],"key":[15],"technique":[16],"enabling":[17],"modular":[18],"reasoning":[19],"about":[20],"complex":[21],"structures":[22],"by":[23,34,59,141,156],"building":[24],"them":[25],"out":[26],"simpler":[28],"components.":[29],"The":[30],"crucial":[31],"results":[32,56,83],"required":[33],"are":[38,57,90],"Feferman--Vaught--Mostowski":[39],"(FVM)":[40],"type":[41,82,127],"theorems,":[42,128],"which":[43,199],"characterize":[44],"how":[45],"logical":[46],"equivalence":[47],"behaves":[48],"under":[49],"and":[51,98,108,112,129,159,166],"transformation":[52],"models.":[54],"Our":[55,88],"developed":[58],"extending":[60],"recently":[62],"introduced":[63],"game":[64,205],"comonad":[65],"semantics":[66],"for":[67,105,189],"comparison":[69],"games.":[70],"This":[71,207],"level":[72],"abstraction":[74],"allow":[75],"us":[76],"to":[77],"give":[78],"conditions":[79],"yielding":[80],"FVM":[81,126,187],"uniform":[86],"way.":[87],"theorems":[89,145,188],"parametric":[91,176],"classes":[94],"models,":[96],"logics":[97],"operations":[99],"involved.":[100],"Furthermore,":[101],"they":[102],"naturally":[103],"account":[104],"existential":[107,110],"positive":[109],"fragments,":[111],"extensions":[113],"with":[114,228],"counting":[115,164],"quantifiers":[116],"these":[118],"logics.":[119],"also":[121],"reveal":[122],"surprising":[123],"connections":[124],"between":[125],"classical":[130,144],"concepts":[131],"monads.":[136],"illustrate":[138],"our":[139,173],"recovering":[142],"many":[143],"practical":[147],"interest,":[148,181],"including":[149],"refinement":[151],"previous":[154],"result":[155],"Dawar,":[157],"Severini,":[158],"Zapata":[160],"concerning":[161],"3-variable":[163],"logic":[165,179,196],"cospectrality.":[167],"To":[168],"highlight":[169],"importance":[171],"techniques":[174],"being":[175],"we":[182],"prove":[183],"family":[185],"products":[190],"structures,":[192],"uniformly":[193],"question,":[198],"cannot":[200],"be":[201],"done":[202],"using":[203],"specific":[204],"arguments.":[206],"is":[208],"an":[209],"extended":[210],"version":[211],"LiCS":[214],"2023":[215],"conference":[216],"paper":[217],"same":[220],"name.":[221],"arXiv":[222],"admin":[223],"note:":[224],"substantial":[225],"text":[226],"overlap":[227],"arXiv:2304.10196":[229]},"counts_by_year":[],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-17T00:00:00"}