{"id":"https://openalex.org/W2966380268","doi":"https://doi.org/10.1109/lics.2019.8785656","title":"Why Propositional Quantification Makes Modal Logics on Trees Robustly Hard?","display_name":"Why Propositional Quantification Makes Modal Logics on Trees Robustly Hard?","publication_year":2019,"publication_date":"2019-06-01","ids":{"openalex":"https://openalex.org/W2966380268","doi":"https://doi.org/10.1109/lics.2019.8785656","mag":"2966380268"},"language":"en","primary_location":{"id":"doi:10.1109/lics.2019.8785656","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2019.8785656","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 34th 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/A5054499021","display_name":"Bartosz Bednarczyk","orcid":"https://orcid.org/0000-0002-8267-7554"},"institutions":[{"id":"https://openalex.org/I219388962","display_name":"University of Wroc\u0142aw","ror":"https://ror.org/00yae6e25","country_code":"PL","type":"education","lineage":["https://openalex.org/I219388962"]},{"id":"https://openalex.org/I4210087266","display_name":"Institute of Computer Science","ror":"https://ror.org/003fvp964","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210087266","https://openalex.org/I99542240"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Bartosz Bednarczyk","raw_affiliation_strings":["Institute of Computer Science, University of Wroclaw, Poland","Uniwersytet Wroclawski = University of Wroclaw (Uniwersytet Wroc\u0142awski, ul. F. Joliot-Curie 14, 50-383 Wroc\u0142aw, Poland - Poland)"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, University of Wroclaw, Poland","institution_ids":["https://openalex.org/I219388962","https://openalex.org/I4210087266"]},{"raw_affiliation_string":"Uniwersytet Wroclawski = University of Wroclaw (Uniwersytet Wroc\u0142awski, ul. F. Joliot-Curie 14, 50-383 Wroc\u0142aw, Poland - Poland)","institution_ids":["https://openalex.org/I219388962"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060413318","display_name":"St\u00e9phane Demri","orcid":"https://orcid.org/0000-0002-3493-2610"},"institutions":[{"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/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210104198","display_name":"Laboratoire Sp\u00e9cification et V\u00e9rification","ror":"https://ror.org/01kz1bj67","country_code":"FR","type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210104198","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Stephane Demri","raw_affiliation_strings":["LSV, ENS Paris-Saclay Univcrsit\u00e9 Paris-Saclay, France","CNRS - Centre National de la Recherche Scientifique (France)","LSV - Laboratoire Sp\u00e9cification et V\u00e9rification [Cachan] (B\u00e2timent d'Alembert 61 Avenue du Pr\u00e9sident Wilson 94235 CACHAN CEDEX - France)"],"affiliations":[{"raw_affiliation_string":"LSV, ENS Paris-Saclay Univcrsit\u00e9 Paris-Saclay, France","institution_ids":["https://openalex.org/I277688954"]},{"raw_affiliation_string":"CNRS - Centre National de la Recherche Scientifique (France)","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"LSV - Laboratoire Sp\u00e9cification et V\u00e9rification [Cachan] (B\u00e2timent d'Alembert 61 Avenue du Pr\u00e9sident Wilson 94235 CACHAN CEDEX - France)","institution_ids":["https://openalex.org/I4210104198"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5054499021"],"corresponding_institution_ids":["https://openalex.org/I219388962","https://openalex.org/I4210087266"],"apc_list":null,"apc_paid":null,"fwci":1.597,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.85309537,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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.9990000128746033,"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.9987999796867371,"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.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/discrete-mathematics","display_name":"Discrete mathematics","score":0.47309449315071106},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.4479130506515503},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.43277353048324585},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.42713651061058044},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.42176973819732666},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.36676493287086487},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35894930362701416}],"concepts":[{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.47309449315071106},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.4479130506515503},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.43277353048324585},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.42713651061058044},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.42176973819732666},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36676493287086487},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35894930362701416},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/lics.2019.8785656","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lics.2019.8785656","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-02350328v1","is_oa":false,"landing_page_url":"https://hal.science/hal-02350328","pdf_url":null,"source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"34th Annual ACM/IEEE Symposium on Logic In Computer Science (LICS'19), Jun 2019, Vancouver, France. &#x27E8;10.1109/LICS.2019.8785656&#x27E9;","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":70,"referenced_works":["https://openalex.org/W189948524","https://openalex.org/W824553004","https://openalex.org/W1499409868","https://openalex.org/W1499833455","https://openalex.org/W1530845489","https://openalex.org/W1545252802","https://openalex.org/W1549420241","https://openalex.org/W1590315663","https://openalex.org/W1626579044","https://openalex.org/W1636976386","https://openalex.org/W1802821885","https://openalex.org/W1816620374","https://openalex.org/W1965611063","https://openalex.org/W1969118410","https://openalex.org/W1969184283","https://openalex.org/W1975885036","https://openalex.org/W1976773489","https://openalex.org/W1989783863","https://openalex.org/W1994385438","https://openalex.org/W2006418637","https://openalex.org/W2007901899","https://openalex.org/W2021592352","https://openalex.org/W2049069994","https://openalex.org/W2068458083","https://openalex.org/W2072887965","https://openalex.org/W2074944668","https://openalex.org/W2076879179","https://openalex.org/W2082808848","https://openalex.org/W2086035610","https://openalex.org/W2113731193","https://openalex.org/W2119397055","https://openalex.org/W2122871622","https://openalex.org/W2124207901","https://openalex.org/W2126711026","https://openalex.org/W2138856440","https://openalex.org/W2142069707","https://openalex.org/W2154938325","https://openalex.org/W2162583406","https://openalex.org/W2164389533","https://openalex.org/W2167907675","https://openalex.org/W2173381095","https://openalex.org/W2409123672","https://openalex.org/W2528077643","https://openalex.org/W2752971683","https://openalex.org/W2884150062","https://openalex.org/W2898943201","https://openalex.org/W2909328803","https://openalex.org/W2925627929","https://openalex.org/W2989473283","https://openalex.org/W3103816053","https://openalex.org/W3105926622","https://openalex.org/W3125224867","https://openalex.org/W3147202860","https://openalex.org/W3210476636","https://openalex.org/W4211144022","https://openalex.org/W4241108585","https://openalex.org/W4241831839","https://openalex.org/W4253934133","https://openalex.org/W4289671160","https://openalex.org/W4299280737","https://openalex.org/W6607546955","https://openalex.org/W6629949049","https://openalex.org/W6632785402","https://openalex.org/W6638210313","https://openalex.org/W6641740895","https://openalex.org/W6652106653","https://openalex.org/W6714429376","https://openalex.org/W6728118890","https://openalex.org/W6755816036","https://openalex.org/W6761217596"],"related_works":["https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W3013085049","https://openalex.org/W2544423928","https://openalex.org/W2052122378","https://openalex.org/W2053286651","https://openalex.org/W1560496689","https://openalex.org/W4386900933","https://openalex.org/W2181743346","https://openalex.org/W4385301946"],"abstract_inverted_index":{"Adding":[0],"propositional":[1,20,58,178],"quantification":[2,21,59,179],"to":[3,13,15,74,98,159,162],"the":[4,23,39,53,61,75,113,137,166],"modal":[5,54,168],"logics":[6,169],"K,":[7,170],"T":[8],"or":[9,161],"S4":[10],"is":[11,79,83,100,116,124],"known":[12],"lead":[14],"undecidability":[16],"but":[17],"CTL":[18],"with":[19,57,177],"under":[22,60,180],"tree":[24,62],"semantics":[25,182],"(QCTL":[26],"<sup":[27,46,70,94,118,155],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[28,47,71,95,119,156],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">t</sup>":[29,48,72,96,157],")":[30],"admits":[31],"a":[32,129,181],"non-elementary":[33],"Tower-complete":[34],"satisfiability":[35,114],"problem.":[36],"We":[37],"investigate":[38],"complexity":[40],"of":[41,44,52,146,153,165,186],"strict":[42],"fragments":[43],"QCTL":[45,69,93,154],"as":[49,51,85],"well":[50],"logic":[55],"K":[56],"semantics.":[63],"More":[64],"specifically,":[65],"we":[66,110,150],"show":[67],"that":[68,112],"restricted":[73,97,158],"temporal":[76,142],"operator":[77],"EX":[78,86,99],"already":[80],"Tower-hard,":[81],"which":[82],"unexpected":[84],"can":[87],"only":[88],"enforce":[89],"local":[90],"properties.":[91],"When":[92],"interpreted":[101],"on":[102,184],"N-bounded":[103],"trees":[104],"for":[105,135,140],"some":[106],"N":[107],"\u2265":[108],"2,":[109],"prove":[111,151],"problem":[115,139],"AExppol":[117,122],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">-</sup>":[120],"complete;":[121],"-hardness":[123],"established":[125],"by":[126],"reduction":[127],"from":[128],"recently":[130],"introduced":[131],"tiling":[132],"problem,":[133],"instrumental":[134],"studying":[136],"model-checking":[138],"interval":[141],"logics.":[143],"As":[144],"consequences":[145],"our":[147],"proof":[148],"method,":[149],"Tower-hardness":[152],"EF":[160],"EXEF":[163],"and":[164,175],"well-known":[167],"KD,":[171],"GL,":[172],"S4,":[173],"K4":[174],"D4,":[176],"based":[183],"classes":[185],"trees.":[187]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3}],"updated_date":"2026-03-25T13:04:00.132906","created_date":"2025-10-10T00:00:00"}