{"id":"https://openalex.org/W4413114200","doi":"https://doi.org/10.1093/logcom/exae082","title":"Modal logic with relations over paths: A theoretical development through comonadic semantics","display_name":"Modal logic with relations over paths: A theoretical development through comonadic semantics","publication_year":2025,"publication_date":"2025-01-28","ids":{"openalex":"https://openalex.org/W4413114200","doi":"https://doi.org/10.1093/logcom/exae082"},"language":"en","primary_location":{"id":"doi:10.1093/logcom/exae082","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exae082","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"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":"Journal of Logic and Computation","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/A5082992052","display_name":"Santiago Figueira","orcid":"https://orcid.org/0000-0002-8055-397X"},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"Universidad de Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]},{"id":"https://openalex.org/I4210160046","display_name":"Instituto Cardiovascular de Buenos Aires","ror":"https://ror.org/05476d639","country_code":"AR","type":"healthcare","lineage":["https://openalex.org/I4210160046"]},{"id":"https://openalex.org/I53241121","display_name":"Fundaci\u00f3n Ciencias Exactas y Naturales","ror":"https://ror.org/05rxmkq09","country_code":"AR","type":"nonprofit","lineage":["https://openalex.org/I53241121"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Santiago Figueira","raw_affiliation_strings":["Departamento de Computaci\u00f3n , Facultad de Ciencias Exactas y Naturales, , Buenos Aires, 1428 ,","Instituto de Ciencias de la Computaci\u00f3n (ICC), CONICET\u2014Universidad de Buenos Aires , Buenos Aires, 1428 ,","Universidad de Buenos Aires , Facultad de Ciencias Exactas y Naturales, , Buenos Aires, 1428 ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Computaci\u00f3n , Facultad de Ciencias Exactas y Naturales, , Buenos Aires, 1428 ,","institution_ids":["https://openalex.org/I53241121"]},{"raw_affiliation_string":"Instituto de Ciencias de la Computaci\u00f3n (ICC), CONICET\u2014Universidad de Buenos Aires , Buenos Aires, 1428 ,","institution_ids":["https://openalex.org/I24354313","https://openalex.org/I4210160046"]},{"raw_affiliation_string":"Universidad de Buenos Aires , Facultad de Ciencias Exactas y Naturales, , Buenos Aires, 1428 ,","institution_ids":["https://openalex.org/I53241121"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5119271288","display_name":"Gabriel Goren-Roig","orcid":null},"institutions":[{"id":"https://openalex.org/I24354313","display_name":"Universidad de Buenos Aires","ror":"https://ror.org/0081fs513","country_code":"AR","type":"education","lineage":["https://openalex.org/I24354313"]},{"id":"https://openalex.org/I4210160046","display_name":"Instituto Cardiovascular de Buenos Aires","ror":"https://ror.org/05476d639","country_code":"AR","type":"healthcare","lineage":["https://openalex.org/I4210160046"]},{"id":"https://openalex.org/I53241121","display_name":"Fundaci\u00f3n Ciencias Exactas y Naturales","ror":"https://ror.org/05rxmkq09","country_code":"AR","type":"nonprofit","lineage":["https://openalex.org/I53241121"]}],"countries":["AR"],"is_corresponding":false,"raw_author_name":"Gabriel Goren-Roig","raw_affiliation_strings":["Departamento de Matem\u00e1tica , Facultad de Ciencias Exactas y Naturales, , Buenos Aires, 1428 ,","Instituto de Ciencias de la Computaci\u00f3n (ICC), CONICET\u2014Universidad de Buenos Aires , Buenos Aires, 1428 ,","Universidad de Buenos Aires , Facultad de Ciencias Exactas y Naturales, , Buenos Aires, 1428 ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1tica , Facultad de Ciencias Exactas y Naturales, , Buenos Aires, 1428 ,","institution_ids":["https://openalex.org/I53241121"]},{"raw_affiliation_string":"Instituto de Ciencias de la Computaci\u00f3n (ICC), CONICET\u2014Universidad de Buenos Aires , Buenos Aires, 1428 ,","institution_ids":["https://openalex.org/I24354313","https://openalex.org/I4210160046"]},{"raw_affiliation_string":"Universidad de Buenos Aires , Facultad de Ciencias Exactas y Naturales, , Buenos Aires, 1428 ,","institution_ids":["https://openalex.org/I53241121"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":1.2548,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.84968715,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"35","issue":"6","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.9995999932289124,"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.9995999932289124,"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/T10126","display_name":"Logic, programming, and type systems","score":0.998199999332428,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9980999827384949,"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/axiom","display_name":"Axiom","score":0.5211505889892578},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4990859031677246},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4931568503379822},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.47802671790122986},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.47588789463043213},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4518721103668213},{"id":"https://openalex.org/keywords/paraconsistent-logic","display_name":"Paraconsistent logic","score":0.43873682618141174},{"id":"https://openalex.org/keywords/s5","display_name":"S5","score":0.4343453049659729},{"id":"https://openalex.org/keywords/logical-equivalence","display_name":"Logical equivalence","score":0.43270260095596313},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.42813438177108765},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.4209475517272949},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4197843074798584},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.40327009558677673},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.40053823590278625},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.31757694482803345},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.30888935923576355},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2814410924911499},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.24212178587913513},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.20780488848686218},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18609550595283508},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.15955165028572083}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5211505889892578},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4990859031677246},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4931568503379822},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.47802671790122986},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.47588789463043213},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4518721103668213},{"id":"https://openalex.org/C16796852","wikidata":"https://www.wikidata.org/wiki/Q426592","display_name":"Paraconsistent logic","level":4,"score":0.43873682618141174},{"id":"https://openalex.org/C192609573","wikidata":"https://www.wikidata.org/wiki/Q7388341","display_name":"S5","level":5,"score":0.4343453049659729},{"id":"https://openalex.org/C70846408","wikidata":"https://www.wikidata.org/wiki/Q220433","display_name":"Logical equivalence","level":3,"score":0.43270260095596313},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.42813438177108765},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.4209475517272949},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4197843074798584},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.40327009558677673},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.40053823590278625},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.31757694482803345},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.30888935923576355},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2814410924911499},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.24212178587913513},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.20780488848686218},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18609550595283508},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.15955165028572083},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/logcom/exae082","is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exae082","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"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":"Journal of Logic and Computation","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W2033026830","https://openalex.org/W2036564813","https://openalex.org/W2147756013","https://openalex.org/W2154720032","https://openalex.org/W2167608641","https://openalex.org/W2213813753","https://openalex.org/W2524594508","https://openalex.org/W2578213352","https://openalex.org/W2611888112","https://openalex.org/W2913559082","https://openalex.org/W2952430021","https://openalex.org/W3031354613","https://openalex.org/W3094622282","https://openalex.org/W3131810255","https://openalex.org/W3173296734","https://openalex.org/W3173471069","https://openalex.org/W3192733234","https://openalex.org/W4211144022","https://openalex.org/W4213084408","https://openalex.org/W4293572572","https://openalex.org/W4384344730","https://openalex.org/W4391849494","https://openalex.org/W6644976333","https://openalex.org/W6683890388","https://openalex.org/W6695678550","https://openalex.org/W6729019498","https://openalex.org/W7075733913"],"related_works":["https://openalex.org/W2101793126","https://openalex.org/W3108798275","https://openalex.org/W2795425183","https://openalex.org/W2352549085","https://openalex.org/W1988817063","https://openalex.org/W2592864007","https://openalex.org/W2763478299","https://openalex.org/W16710208","https://openalex.org/W174264350","https://openalex.org/W1994980776"],"abstract_inverted_index":{"Abstract":[0],"Game":[1],"comonads":[2],"provide":[3],"categorical":[4],"semantics":[5],"for":[6,21,110,160,226,326],"comparison":[7],"games":[8,159],"in":[9,53,93,121,141,201,210],"Finite":[10],"Model":[11],"Theory,":[12],"thus":[13],"providing":[14],"an":[15,138,184,259],"abstract":[16],"characterization":[17,322],"of":[18,25,34,40,47,60,67,72,100,114,128,166,189,221,240,246,262,299,323],"logical":[19,173,324],"equivalence":[20,325],"a":[22,31,58,91,96,111,164,255,268,320,337],"wide":[23],"range":[24],"logics,":[26,288],"each":[27],"one":[28,304],"captured":[29],"through":[30],"specific":[32,112],"choice":[33,113],"comonad.":[35],"Motivated":[36],"by":[37,242],"the":[38,45,73,124,133,167,177,202,208,218,227,237,247,263,280,311,316],"goal":[39],"applying":[41],"comonadic":[42,248,281],"tools":[43],"to":[44,147,183,283,333,348,355],"study":[46],"data-aware":[48,130],"logics":[49],"such":[50,253,289],"as":[51,70,88,254,290],"CoreDataXPath,":[52,101],"this":[54,86,119],"work":[55],"we":[56,76,175,205,215,235],"introduce":[57],"generalization":[59],"Modal":[61,80,145,308,335,358],"Logic":[62,81,146,302,309,359],"that":[63,106,118,142,193],"allows":[64,123],"relation":[65],"symbols":[66],"arbitrary":[68],"arity":[69],"atoms":[71],"syntax,":[74],"which":[75,180],"call":[77],"Path":[78],"Predicate":[79],"or":[82],"PPML.":[83],"We":[84,116,277],"motivate":[85],"logic":[87],"arising":[89],"from":[90,207,340,352],"shift":[92,120],"perspective":[94,122,282],"on":[95,187,303,310],"previously":[97],"studied":[98],"fragment":[99],"called":[102],"DataGL,":[103,327],"and":[104,126,157,172,191,230,258,274,294,306,313],"prove":[105,192],"PPML":[107,136,161,178,241,272,317,341,353],"recovers":[108],"DataGL":[109],"signature.":[115],"argue":[117],"capturing":[125],"designing":[127],"new":[129],"logics.":[131],"On":[132],"other":[134,287],"hand,":[135],"enjoys":[137],"intrinsic":[139],"motivation":[140],"it":[143,194],"extends":[144],"predicate":[148],"over":[149],"more":[150],"general":[151],"models.":[152,276],"Having":[153],"introduced":[154],"resource-bounded":[155],"simulation":[156],"bisimulation":[158],"together":[162],"with":[163,286],"proof":[165,212,261],"Hennessy\u2013Milner":[168,265],"property":[169,257,266],"relating":[170],"bisimilarity":[171],"equivalence,":[174],"define":[176],"comonad,":[179],"essentially":[181],"amounts":[182],"unravelling":[185],"construction":[186],"models":[188],"PPML,":[190],"captures":[195],"these":[196],"games,":[197],"following":[198],"analogous":[199],"results":[200,252],"literature.":[203],"However,":[204],"depart":[206],"literature":[209],"our":[211,328],"strategy,":[213],"since":[214],"draw":[216],"upon":[217],"axiomatic":[219],"framework":[220],"arboreal":[222],"categories,":[223],"giving":[224],"intuition":[225],"axioms":[228],"involved":[229],"supplying":[231],"detailed":[232],"verifications.":[233],"Subsequently,":[234],"develop":[236],"model-theoretical":[238],"understanding":[239],"making":[243],"systematic":[244],"use":[245,279],"framework.":[249],"This":[250],"includes":[251],"tree-model":[256],"alternative":[260],"one-way":[264],"using":[267],"correspondence":[269],"between":[270],"positive":[271],"formulas":[273],"canonical":[275],"also":[278],"establish":[284],"connections":[285],"bounded":[291,295],"quantifier":[292],"rank":[293],"variable":[296],"number":[297],"fragments":[298],"First":[300],"Order":[301],"side":[305],"Basic":[307,334,357],"other,":[312],"show":[314],"how":[315],"comonad":[318],"induces":[319],"syntax-free":[321],"original":[329],"motivation.":[330],"With":[331],"respect":[332],"Logic,":[336],"functorial":[338],"assignment":[339],"unravellings":[342],"into":[343],"Kripke":[344],"trees":[345],"enables":[346],"us":[347],"obtain":[349],"polynomial-time":[350],"reductions":[351],"problems":[354],"their":[356],"counterparts.":[360]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-25T15:57:00.446498","created_date":"2025-10-10T00:00:00"}