{"id":"https://openalex.org/W2095996785","doi":"https://doi.org/10.1137/s0097539797322772","title":"Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy","display_name":"Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W2095996785","doi":"https://doi.org/10.1137/s0097539797322772","mag":"2095996785"},"language":"en","primary_location":{"id":"doi:10.1137/s0097539797322772","is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0097539797322772","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","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/A5000703561","display_name":"Denis Th\u00e9rien","orcid":"https://orcid.org/0000-0002-7545-909X"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Denis Th\u00e9rien","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5084744032","display_name":"Thomas Wilke","orcid":"https://orcid.org/0000-0001-8263-7758"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Thomas Wilke","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5000703561"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8263,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.85488843,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"31","issue":"3","first_page":"777","last_page":"798"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9997000098228455,"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/T11567","display_name":"semigroups and automata theory","score":0.9997000098228455,"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/T10126","display_name":"Logic, programming, and type systems","score":0.996999979019165,"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/T10142","display_name":"Formal Methods in Verification","score":0.9932000041007996,"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/mathematics","display_name":"Mathematics","score":0.7390608191490173},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.7186821103096008},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7083065509796143},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.6973368525505066},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.6493747234344482},{"id":"https://openalex.org/keywords/connection","display_name":"Connection (principal bundle)","score":0.5737556219100952},{"id":"https://openalex.org/keywords/semigroup","display_name":"Semigroup","score":0.5127304792404175},{"id":"https://openalex.org/keywords/analytical-hierarchy","display_name":"Analytical hierarchy","score":0.48993128538131714},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.45320725440979004},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4368918538093567},{"id":"https://openalex.org/keywords/computation-tree-logic","display_name":"Computation tree logic","score":0.4136827886104584},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4051807224750519},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2748146951198578},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.19617992639541626},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.17269963026046753},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.16839158535003662},{"id":"https://openalex.org/keywords/analytic-hierarchy-process","display_name":"Analytic hierarchy process","score":0.08114776015281677}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7390608191490173},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.7186821103096008},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7083065509796143},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.6973368525505066},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.6493747234344482},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.5737556219100952},{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.5127304792404175},{"id":"https://openalex.org/C176053320","wikidata":"https://www.wikidata.org/wiki/Q2878515","display_name":"Analytical hierarchy","level":3,"score":0.48993128538131714},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.45320725440979004},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4368918538093567},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.4136827886104584},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4051807224750519},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2748146951198578},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.19617992639541626},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.17269963026046753},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.16839158535003662},{"id":"https://openalex.org/C87345402","wikidata":"https://www.wikidata.org/wiki/Q485202","display_name":"Analytic hierarchy process","level":2,"score":0.08114776015281677},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1137/s0097539797322772","is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0097539797322772","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.18.5944","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.5944","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.mcgill.ca/~denis/papers/sicompfinal.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.51.6415","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.6415","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://dimacs.rutgers.edu/pub/dimacs/TechnicalReports/TechReports/1996/96-28.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.55.5592","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.5592","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.informatik.uni-kiel.de/~theorie/Papers/GruppeThomas/TherienW96.ps.Z","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4000000059604645,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1968086929","https://openalex.org/W1987027130","https://openalex.org/W1990609140","https://openalex.org/W2001930099","https://openalex.org/W2013085432","https://openalex.org/W2019932899","https://openalex.org/W2021552369","https://openalex.org/W2022136117","https://openalex.org/W2039934838","https://openalex.org/W2052706627","https://openalex.org/W2064012309","https://openalex.org/W2065599266","https://openalex.org/W2078174437","https://openalex.org/W2116250539"],"related_works":["https://openalex.org/W858755136","https://openalex.org/W1981889059","https://openalex.org/W3005864166","https://openalex.org/W2143025323","https://openalex.org/W31328628","https://openalex.org/W2583111156","https://openalex.org/W3091862538","https://openalex.org/W1494173831","https://openalex.org/W1969550103","https://openalex.org/W1031601050"],"abstract_inverted_index":{"(from":[0],"[TW96])":[1],"We":[2,21],"reveal":[3],"an":[4,27],"intimate":[5],"connection":[6,24],"between":[7],"semidirect":[8],"products":[9,148],"of":[10,15,30,34,41,46,56,79,92],"finite":[11,68],"semigroups":[12,98],"and":[13,99,149],"substitution":[14],"formulas":[16],"in":[17,60],"linear":[18,35],"temporal":[19,36,48],"logic.":[20],"use":[22],"this":[23],"to":[25,74],"obtain":[26],"algebraic":[28],"characterization":[29],"the":[31,38,61,80],"`until'":[32,62,81],"hierarchy":[33,43,82],"logic;":[37],"k-th":[39],"level":[40,78],"that":[42,50,76],"is":[44,83],"comprised":[45],"all":[47],"properties":[49],"are":[51,72],"expressible":[52],"by":[53],"a":[54],"formula":[55],"nesting":[57],"depth":[58],"k":[59],"operator.":[63],"Applying":[64],"deep":[65],"results":[66],"from":[67],"semigroup":[69],"theory":[70],"we":[71],"able":[73],"prove":[75],"each":[77],"decidable.":[84],"Contents":[85],"1":[86],"Preface":[87],"2":[88,89,95],"Algebraic":[90],"Theory":[91],"Regular":[93,187],"Languages":[94],"2.1":[96],"Finite":[97],"pseudovarieties":[100],".":[101,102,103,104,105,106,107,108,109,110,111,112,113,114,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,152,153,154,155,156,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211],"3":[115,145,213],"2.2":[116],"Switching":[117],"rules":[118],"2.3":[146],"Semidirect/wreath":[147],"sequential":[150],"functions":[151],"4":[157],"2.4":[158],"Decidability":[159],"criteria":[160],"5":[185],"2.5":[186],"!-languages":[188],"6":[212],"Temporal":[214],"Logic":[215],"7":[216],"3.1":[217],"Fu...":[218]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}