{"id":"https://openalex.org/W4366740785","doi":"https://doi.org/10.1109/lics56636.2023.10175784","title":"Fixed Point Logics on Hemimetric Spaces","display_name":"Fixed Point Logics on Hemimetric Spaces","publication_year":2023,"publication_date":"2023-06-26","ids":{"openalex":"https://openalex.org/W4366740785","doi":"https://doi.org/10.1109/lics56636.2023.10175784"},"language":"en","primary_location":{"id":"doi:10.1109/lics56636.2023.10175784","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/lics56636.2023.10175784","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},"type":"preprint","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/A5080309379","display_name":"David Fern\u00e1ndez\u2013Duque","orcid":"https://orcid.org/0000-0001-8604-4183"},"institutions":[{"id":"https://openalex.org/I4210155092","display_name":"Czech Academy of Sciences, Institute of Computer Science","ror":"https://ror.org/0496n6574","country_code":"CZ","type":"facility","lineage":["https://openalex.org/I202391551","https://openalex.org/I4210155092"]},{"id":"https://openalex.org/I71999127","display_name":"Universitat de Barcelona","ror":"https://ror.org/021018s57","country_code":"ES","type":"education","lineage":["https://openalex.org/I71999127"]}],"countries":["CZ","ES"],"is_corresponding":true,"raw_author_name":"David Fern\u00e1ndez-Duque","raw_affiliation_strings":["University of Barcelona,Spain Czech Academy of Sciences, Institute of Computer Science,Department of Philosophy Barcelona,Prague,Czech Republic","Department of Philosophy Barcelona, Spain Czech Academy of Sciences, Institute of Computer Science, University of Barcelona, Prague, Czech Republic"],"affiliations":[{"raw_affiliation_string":"University of Barcelona,Spain Czech Academy of Sciences, Institute of Computer Science,Department of Philosophy Barcelona,Prague,Czech Republic","institution_ids":["https://openalex.org/I4210155092"]},{"raw_affiliation_string":"Department of Philosophy Barcelona, Spain Czech Academy of Sciences, Institute of Computer Science, University of Barcelona, Prague, Czech Republic","institution_ids":["https://openalex.org/I4210155092","https://openalex.org/I71999127"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082400224","display_name":"Quentin Gougeon","orcid":"https://orcid.org/0000-0002-3886-1143"},"institutions":[{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I205747304","display_name":"Institut National Polytechnique de Toulouse","ror":"https://ror.org/033p9g875","country_code":"FR","type":"education","lineage":["https://openalex.org/I205747304","https://openalex.org/I4405258862"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Quentin Gougeon","raw_affiliation_strings":["Toulouse University,Institut de Recherche en Informatique de Toulouse CNRS-INPT-UT3,Toulouse,France","Institut de Recherche en Informatique de Toulouse CNRS-INPT-UT3, Toulouse University, Toulouse, France"],"affiliations":[{"raw_affiliation_string":"Toulouse University,Institut de Recherche en Informatique de Toulouse CNRS-INPT-UT3,Toulouse,France","institution_ids":["https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Institut de Recherche en Informatique de Toulouse CNRS-INPT-UT3, Toulouse University, Toulouse, France","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I205747304","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5080309379"],"corresponding_institution_ids":["https://openalex.org/I4210155092","https://openalex.org/I71999127"],"apc_list":null,"apc_paid":null,"fwci":0.25544289,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.52484028,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"5","issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9983000159263611,"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.9983000159263611,"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.9951000213623047,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9919000267982483,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/computer-science","display_name":"Computer science","score":0.5366631746292114},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.4320116639137268},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2509952485561371},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.1087607741355896}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5366631746292114},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4320116639137268},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2509952485561371},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.1087607741355896}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lics56636.2023.10175784","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/lics56636.2023.10175784","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W129686139","https://openalex.org/W1480405493","https://openalex.org/W1530375570","https://openalex.org/W1778829768","https://openalex.org/W1847758040","https://openalex.org/W1977264230","https://openalex.org/W2003311901","https://openalex.org/W2014467270","https://openalex.org/W2029611280","https://openalex.org/W2050527500","https://openalex.org/W2113800199","https://openalex.org/W2133070229","https://openalex.org/W2142696533","https://openalex.org/W2502620710","https://openalex.org/W2549414009","https://openalex.org/W2604713618","https://openalex.org/W2887548420","https://openalex.org/W2962972216","https://openalex.org/W3173611724","https://openalex.org/W4211144022","https://openalex.org/W4283023927","https://openalex.org/W4297809221","https://openalex.org/W4299390900","https://openalex.org/W4319459472","https://openalex.org/W6679589830"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W4402327032","https://openalex.org/W2382290278"],"abstract_inverted_index":{"The":[0],"\u00b5-calculus":[1],"can":[2],"be":[3,44,96],"interpreted":[4],"over":[5,102,161],"metric":[6,111,162],"spaces":[7,64,163],"and":[8,23,26,109,116],"is":[9,79,132,165],"known":[10],"to":[11,134,178],"enjoy,":[12],"among":[13],"other":[14],"celebrated":[15],"properties,":[16],"variants":[17],"of":[18,24,48,55,106,181,193],"the":[19,49,75,81,85,103,122,135,152,158,174,194],"McKinsey-Tarski":[20],"completeness":[21,112],"theorem":[22,36,124],"Dawar":[25],"Otto's":[27],"modal":[28,77],"characterization":[29],"theorem.":[30],"In":[31,119],"its":[32],"topological":[33,40,147],"form,":[34],"this":[35,88,120,131],"states":[37],"that":[38,130,172],"every":[39],"fixed":[41],"point":[42],"may":[43,95],"defined":[45,141],"in":[46,72,145,168],"terms":[47],"tangled":[50,136,159],"derivative,":[51],"a":[52,184],"polyadic":[53],"generalization":[54],"Cantor's":[56],"perfect":[57],"core.":[58],"However,":[59],"these":[60,93],"results":[61,113],"fail":[62],"when":[63],"not":[65,80,138],"satisfying":[66],"basic":[67],"separation":[68],"axioms":[69],"are":[70],"considered,":[71],"which":[73,155],"case":[74],"base":[76],"logic":[78],"well-known":[82],"K4,":[83],"but":[84,127,164],"weaker":[86],"wK4.In":[87],"paper":[89],"we":[90,99,128],"show":[91,171],"how":[92],"shortcomings":[94],"overcome.":[97],"First,":[98],"consider":[100],"semantics":[101],"wider":[104],"class":[105],"hemimetric":[107],"spaces,":[108],"obtain":[110],"for":[114,142,188],"wK4":[115],"related":[117],"logics.":[118],"setting,":[121],"Dawar-Otto":[123],"still":[125],"fails,":[126],"argue":[129],"due":[133],"derivative":[137,160],"being":[139],"suitably":[140],"general":[143],"application":[144],"arbitrary":[146],"spaces.":[148],"We":[149,170],"thus":[150],"introduce":[151],"hybrid":[153,175],"tangle,":[154],"coincides":[156],"with":[157],"better":[166],"behaved":[167],"general.":[169],"only":[173],"tangle":[176],"suffices":[177],"define":[179],"simulability":[180],"finite":[182],"structures,":[183],"key":[185],"'test":[186],"case'":[187],"an":[189],"expressively":[190],"complete":[191],"fragment":[192],"\u00b5-calculus.":[195]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-12-24T23:09:58.560324","created_date":"2025-10-10T00:00:00"}