{"id":"https://openalex.org/W2949904570","doi":"https://doi.org/10.1109/lics.2017.8005115","title":"Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion","display_name":"Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion","publication_year":2017,"publication_date":"2017-06-01","ids":{"openalex":"https://openalex.org/W2949904570","doi":"https://doi.org/10.1109/lics.2017.8005115","mag":"2949904570"},"language":"en","primary_location":{"id":"doi:10.1109/lics.2017.8005115","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2017.8005115","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1701.08516","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018271059","display_name":"Jan van den Heuvel","orcid":"https://orcid.org/0000-0003-0897-9148"},"institutions":[{"id":"https://openalex.org/I909854389","display_name":"London School of Economics and Political Science","ror":"https://ror.org/0090zs177","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I909854389"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Jan van den Heuvel","raw_affiliation_strings":["Department of Mathematics, London School of Economics and Political Science, London, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, London School of Economics and Political Science, London, United Kingdom","institution_ids":["https://openalex.org/I909854389"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062011497","display_name":"Stephan Kreutzer","orcid":"https://orcid.org/0009-0002-9409-5356"},"institutions":[{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stephan Kreutzer","raw_affiliation_strings":["Logic and Semantics, Technische Universit\u00e4t Berlin, Berlin, Germany"],"affiliations":[{"raw_affiliation_string":"Logic and Semantics, Technische Universit\u00e4t Berlin, Berlin, Germany","institution_ids":["https://openalex.org/I4577782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000479623","display_name":"Micha\u0142 Pilipczuk","orcid":"https://orcid.org/0000-0001-7891-1988"},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Michal Pilipczuk","raw_affiliation_strings":["Institute of Informatics, University of Warsaw, Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"Institute of Informatics, University of Warsaw, Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084351080","display_name":"Daniel A. Quiroz","orcid":"https://orcid.org/0000-0002-2479-0508"},"institutions":[{"id":"https://openalex.org/I909854389","display_name":"London School of Economics and Political Science","ror":"https://ror.org/0090zs177","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I909854389"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Daniel A. Quiroz","raw_affiliation_strings":["Department of Mathematics, London School of Economics and Political Science, London, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, London School of Economics and Political Science, London, United Kingdom","institution_ids":["https://openalex.org/I909854389"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073512540","display_name":"Roman Rabinovich","orcid":null},"institutions":[{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Roman Rabinovich","raw_affiliation_strings":["Logic and Semantics, Technische Universit\u00e4t Berlin, Berlin, Germany"],"affiliations":[{"raw_affiliation_string":"Logic and Semantics, Technische Universit\u00e4t Berlin, Berlin, Germany","institution_ids":["https://openalex.org/I4577782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073548944","display_name":"Sebastian Siebertz","orcid":"https://orcid.org/0000-0002-6347-1198"},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Sebastian Siebertz","raw_affiliation_strings":["Institute of Informatics, University of Warsaw, Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"Institute of Informatics, University of Warsaw, Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5018271059"],"corresponding_institution_ids":["https://openalex.org/I909854389"],"apc_list":null,"apc_paid":null,"fwci":0.2356,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.61778637,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"12","issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"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/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9947999715805054,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9769999980926514,"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/successor-cardinal","display_name":"Successor cardinal","score":0.8317282199859619},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6454014778137207},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.6358358860015869},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5030714869499207},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.459343284368515},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4548039138317108},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3803507089614868},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.08896487951278687}],"concepts":[{"id":"https://openalex.org/C75306776","wikidata":"https://www.wikidata.org/wiki/Q7632662","display_name":"Successor cardinal","level":2,"score":0.8317282199859619},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6454014778137207},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.6358358860015869},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5030714869499207},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.459343284368515},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4548039138317108},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3803507089614868},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.08896487951278687},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/lics.2017.8005115","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2017.8005115","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},{"id":"pmh:oai:researchonline.lse.ac.uk:86646","is_oa":false,"landing_page_url":"https://orcid.org/0000-0003-0897-9148>,","pdf_url":null,"source":{"id":"https://openalex.org/S4306401593","display_name":"London School of Economics and Political Science Research Online (London School of Economics and Political Science)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I909854389","host_organization_name":"London School of Economics and Political Science","host_organization_lineage":["https://openalex.org/I909854389"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:arXiv.org:1701.08516","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1701.08516","pdf_url":"https://arxiv.org/pdf/1701.08516","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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1701.08516","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1701.08516","pdf_url":"https://arxiv.org/pdf/1701.08516","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"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1974542962","display_name":null,"funder_award_id":"Sk\u0142odowska","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/G3514550006","display_name":null,"funder_award_id":"Centre","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3634255087","display_name":"Structure Theory for Directed Graphs","funder_award_id":"648527","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"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/G5399556803","display_name":null,"funder_award_id":"This project has received funding from the Europea","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6603068871","display_name":null,"funder_award_id":"665778","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/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321042","display_name":"Fundacja na rzecz Nauki Polskiej","ror":"https://ror.org/048zd9m77"},{"id":"https://openalex.org/F4320324094","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W891461","https://openalex.org/W800522565","https://openalex.org/W1527664624","https://openalex.org/W1853698044","https://openalex.org/W1954019403","https://openalex.org/W1973674396","https://openalex.org/W1979514837","https://openalex.org/W1986022261","https://openalex.org/W1993920925","https://openalex.org/W2037713618","https://openalex.org/W2039898566","https://openalex.org/W2039985220","https://openalex.org/W2046652577","https://openalex.org/W2059820690","https://openalex.org/W2083568668","https://openalex.org/W2092864936","https://openalex.org/W2097635945","https://openalex.org/W2112212574","https://openalex.org/W2124442576","https://openalex.org/W2132519377","https://openalex.org/W2132914818","https://openalex.org/W2143305437","https://openalex.org/W2149269708","https://openalex.org/W2149573503","https://openalex.org/W2165223420","https://openalex.org/W2398186705","https://openalex.org/W2475308370","https://openalex.org/W2531248283","https://openalex.org/W2952680644","https://openalex.org/W3032071526","https://openalex.org/W3103581889","https://openalex.org/W3105529609","https://openalex.org/W4213311856","https://openalex.org/W4295236230","https://openalex.org/W4297798473","https://openalex.org/W6704570330","https://openalex.org/W6720665900","https://openalex.org/W6786544524"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2473542051","https://openalex.org/W3123320268","https://openalex.org/W2994519609","https://openalex.org/W2726593096","https://openalex.org/W2054269721","https://openalex.org/W4235459050","https://openalex.org/W2767501615","https://openalex.org/W2390822611","https://openalex.org/W2908217413"],"abstract_inverted_index":{"A":[0],"successor-invariant":[1,37,153],"first-order":[2,47,107,198],"formula":[3,6],"is":[4,23,33,92,128,155],"a":[5,16,50,81,93,96,132,137,169],"that":[7,36,74,103,148],"has":[8],"access":[9],"to":[10,69,78,106,183],"an":[11,66],"auxiliary":[12],"successor":[13,51,90],"relation":[14,22,91],"on":[15,42,119,158,188],"structure's":[17],"universe,":[18],"but":[19],"the":[20,26,56,71,76,116,149,184],"model":[21,94],"independent":[24],"of":[25,29,95,121,161,171,192],"particular":[27],"interpretation":[28],"this":[30,59,144],"relation.":[31,52],"It":[32,99],"well":[34],"known":[35,195],"formulas":[38,48,154],"are":[39],"more":[40],"expressive":[41,62],"finite":[43,122,162],"structures":[44,123,163],"than":[45],"plain":[46,197],"without":[49],"This":[53],"naturally":[54],"raises":[55],"question":[57],"whether":[58,80],"increase":[60],"in":[61],"power":[63],"comes":[64,110,181],"at":[65,111],"extra":[67,113],"cost":[68,114],"solve":[70],"model-checking":[72,117,150],"problem,":[73],"is,":[75],"problem":[77,118,151],"decide":[79],"given":[82,97],"structure":[83],"together":[84],"with":[85],"some":[86],"(and":[87],"hence":[88],"every)":[89],"formula.":[98],"was":[100],"shown":[101],"earlier":[102,178],"adding":[104],"successor-invariance":[105],"logic":[108],"essentially":[109],"no":[112],"for":[115,152,196],"classes":[120,191],"whose":[124,164],"underlying":[125,165],"Gaifman":[126,166],"graph":[127],"planar":[129],"[1],":[130],"excludes":[131],"fixed":[133,138],"minor":[134,140],"[2]":[135],"or":[136],"topological":[139],"[3],":[141],"[4].":[142],"In":[143],"work":[145],"we":[146],"show":[147],"fixed-parameter":[156],"tractable":[157],"any":[159],"class":[160,170],"graphs":[167,193],"form":[168],"bounded":[172],"expansion.":[173],"Our":[174],"result":[175],"generalises":[176],"all":[177],"results":[179,187],"and":[180],"close":[182],"best":[185],"tractability":[186],"nowhere":[189],"dense":[190],"currently":[194],"logic.":[199]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-03-11T14:59:36.786465","created_date":"2025-10-10T00:00:00"}