{"id":"https://openalex.org/W63259662","doi":"https://doi.org/10.25596/jalc-2000-325","title":"Restricted Temporal Logic and Deterministic Languages","display_name":"Restricted Temporal Logic and Deterministic Languages","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W63259662","doi":"https://doi.org/10.25596/jalc-2000-325","mag":"63259662"},"language":"en","primary_location":{"id":"doi:10.25596/jalc-2000-325","is_oa":true,"landing_page_url":"https://doi.org/10.25596/jalc-2000-325","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.25596/jalc-2000-325","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020319042","display_name":"Heinz Schmitz","orcid":"https://orcid.org/0000-0002-3371-6983"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Schmitz, Heinz","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5020319042"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1203,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.82430893,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"5","issue":"3","first_page":"325","last_page":"341"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.8355000019073486,"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.8355000019073486,"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/temporal-logic-of-actions","display_name":"Temporal logic of actions","score":0.623776912689209},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5957930088043213},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5622668862342834},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.5059782862663269},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.47109752893447876},{"id":"https://openalex.org/keywords/interval-temporal-logic","display_name":"Interval temporal logic","score":0.4363860487937927}],"concepts":[{"id":"https://openalex.org/C11648818","wikidata":"https://www.wikidata.org/wiki/Q2403081","display_name":"Temporal logic of actions","level":4,"score":0.623776912689209},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5957930088043213},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5622668862342834},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.5059782862663269},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47109752893447876},{"id":"https://openalex.org/C162670838","wikidata":"https://www.wikidata.org/wiki/Q6057295","display_name":"Interval temporal logic","level":3,"score":0.4363860487937927}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.25596/jalc-2000-325","is_oa":true,"landing_page_url":"https://doi.org/10.25596/jalc-2000-325","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:63259662","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/journals/jalc/jalc5.html#Schmitz00","pdf_url":null,"source":{"id":"https://openalex.org/S62907800","display_name":"Journal of automata, languages and combinatorics","issn_l":"1430-189X","issn":["1430-189X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310313929","host_organization_name":"University of Giessen","host_organization_lineage":["https://openalex.org/P4310313929"],"host_organization_lineage_names":["University of Giessen"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Journal of automata, languages and combinatorics","raw_type":null}],"best_oa_location":{"id":"doi:10.25596/jalc-2000-325","is_oa":true,"landing_page_url":"https://doi.org/10.25596/jalc-2000-325","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2536615479","https://openalex.org/W2052713897","https://openalex.org/W1601020901","https://openalex.org/W2151766654","https://openalex.org/W2558467429","https://openalex.org/W2024215898","https://openalex.org/W2155236831","https://openalex.org/W1525645762","https://openalex.org/W3113911536","https://openalex.org/W2949161620","https://openalex.org/W2993449389","https://openalex.org/W276006532","https://openalex.org/W2609277737","https://openalex.org/W1900538423","https://openalex.org/W1567966997","https://openalex.org/W1528618285","https://openalex.org/W2610004352","https://openalex.org/W2951492900","https://openalex.org/W2923977939","https://openalex.org/W1205221740"],"abstract_inverted_index":{"In":[0],"formulas":[1,57],"of":[2,9,37,56,74,81,89,92,99,111,120,133],"restricted":[3],"temporal":[4,11],"logic":[5,39],"(RTL)":[6],"arbitrary":[7],"use":[8],"the":[10,29,34,54,72,90,108,131],"operators":[12],"$next":[13],"(X)$,":[14],"$eventually":[15],"(F)$":[16],"and":[17,40,47,95,122],"Boolean":[18],"connectives":[19],"is":[20],"allowed.":[21],"We":[22,136],"show":[23],"in":[24,64,79,97,107],"detail":[25],"to":[26,33,44,117,139],"what":[27],"extent":[28],"$next$":[30,127],"operator":[31],"contributes":[32],"expressive":[35],"power":[36],"this":[38,126],"reveal":[41],"close":[42],"connections":[43],"formal":[45,83],"languages":[46,77,140],"finite":[48,113],"automata.":[49,114],"Let":[50],"$TL[X(k),":[51,75],"F]$":[52],"denote":[53],"class":[55,73,132],"with":[58],"nesting":[59],"depth":[60],"at":[61],"most":[62],"$k$":[63],"$X$.":[65],"For":[66],"all":[67],"$k\\geq":[68],"0$":[69],"we":[70],"characterize":[71],"F]$-definable":[76],"(1)":[78],"terms":[80,98],"a":[82,87,100],"language":[84],"representation":[85],"involving":[86],"generalization":[88],"notion":[91],"deterministic":[93,112],"languages,":[94],"(2)":[96],"certain":[101],"pattern":[102],"that":[103],"must":[104],"not":[105],"appear":[106],"transition":[109],"graph":[110],"This":[115],"leads":[116],"concise":[118],"proofs":[119],"strictness":[121],"decidability":[123],"results":[124],"for":[125],"hierarchy,":[128],"which":[129],"exhausts":[130],"RTL-definable":[134],"languages.":[135],"discuss":[137],"relations":[138],"having":[141],"dot-depth":[142],"one.":[143]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}