{"id":"https://openalex.org/W2265513027","doi":"https://doi.org/10.3233/ifs-151874","title":"Temporal normal form for Linear Temporal Logic formulae","display_name":"Temporal normal form for Linear Temporal Logic formulae","publication_year":2015,"publication_date":"2015-11-14","ids":{"openalex":"https://openalex.org/W2265513027","doi":"https://doi.org/10.3233/ifs-151874","mag":"2265513027"},"language":"en","primary_location":{"id":"doi:10.3233/ifs-151874","is_oa":false,"landing_page_url":"https://doi.org/10.3233/ifs-151874","pdf_url":null,"source":{"id":"https://openalex.org/S179157397","display_name":"Journal of Intelligent & Fuzzy Systems","issn_l":"1064-1246","issn":["1064-1246","1875-8967"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Intelligent & Fuzzy Systems","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/A5076459381","display_name":"Huixian Shi","orcid":"https://orcid.org/0000-0002-0197-550X"},"institutions":[{"id":"https://openalex.org/I88830068","display_name":"Shaanxi Normal University","ror":"https://ror.org/0170z8493","country_code":"CN","type":"education","lineage":["https://openalex.org/I88830068"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Hui-Xian Shi","raw_affiliation_strings":["College of Mathematics and Information Science, Shaanxi Normal University, South Chang\u2019an Road, Yanta District, Xi\u2019an, P.R. China","College of Mathematics and Information Science, Shaanxi Normal University, South Chang'an Road, Yanta District, Xi'an, P.R. China"],"affiliations":[{"raw_affiliation_string":"College of Mathematics and Information Science, Shaanxi Normal University, South Chang\u2019an Road, Yanta District, Xi\u2019an, P.R. China","institution_ids":["https://openalex.org/I88830068"]},{"raw_affiliation_string":"College of Mathematics and Information Science, Shaanxi Normal University, South Chang'an Road, Yanta District, Xi'an, P.R. China","institution_ids":["https://openalex.org/I88830068"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5115604557","display_name":"Yongming Li","orcid":"https://orcid.org/0000-0001-8038-008X"},"institutions":[{"id":"https://openalex.org/I25355098","display_name":"Chang'an University","ror":"https://ror.org/05mxya461","country_code":"CN","type":"education","lineage":["https://openalex.org/I25355098"]},{"id":"https://openalex.org/I88830068","display_name":"Shaanxi Normal University","ror":"https://ror.org/0170z8493","country_code":"CN","type":"education","lineage":["https://openalex.org/I88830068"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yong-Ming Li","raw_affiliation_strings":["College of Computer Science, Shaanxi Normal University, West Chang\u2019an Avenue, Chang\u2019an District, Xi\u2019an,  P.R. China","College of Computer Science, Shaanxi Normal University, West Chang\u2019an Avenue, Chang\u2019an District, Xi\u2019an, P.R. China","Fax: +86 29 85310232","E-mail:"],"affiliations":[{"raw_affiliation_string":"College of Computer Science, Shaanxi Normal University, West Chang\u2019an Avenue, Chang\u2019an District, Xi\u2019an,  P.R. China","institution_ids":["https://openalex.org/I88830068","https://openalex.org/I25355098"]},{"raw_affiliation_string":"College of Computer Science, Shaanxi Normal University, West Chang\u2019an Avenue, Chang\u2019an District, Xi\u2019an, P.R. China","institution_ids":["https://openalex.org/I88830068"]},{"raw_affiliation_string":"Fax: +86 29 85310232","institution_ids":[]},{"raw_affiliation_string":"E-mail:","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5076459381"],"corresponding_institution_ids":["https://openalex.org/I88830068"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.13127718,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"30","issue":"3","first_page":"1657","last_page":"1662"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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.9945999979972839,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9918000102043152,"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/linear-temporal-logic","display_name":"Linear temporal logic","score":0.8652811050415039},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.7488970160484314},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6345720291137695},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5594369769096375},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5057651996612549},{"id":"https://openalex.org/keywords/interval-temporal-logic","display_name":"Interval temporal logic","score":0.4891079068183899},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.34671974182128906},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2705775201320648},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.25337469577789307},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.19834470748901367},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.17983472347259521},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12433403730392456}],"concepts":[{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.8652811050415039},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.7488970160484314},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6345720291137695},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5594369769096375},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5057651996612549},{"id":"https://openalex.org/C162670838","wikidata":"https://www.wikidata.org/wiki/Q6057295","display_name":"Interval temporal logic","level":3,"score":0.4891079068183899},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.34671974182128906},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2705775201320648},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.25337469577789307},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.19834470748901367},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.17983472347259521},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12433403730392456}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/ifs-151874","is_oa":false,"landing_page_url":"https://doi.org/10.3233/ifs-151874","pdf_url":null,"source":{"id":"https://openalex.org/S179157397","display_name":"Journal of Intelligent & Fuzzy Systems","issn_l":"1064-1246","issn":["1064-1246","1875-8967"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Intelligent & Fuzzy Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W120333500","https://openalex.org/W618068147","https://openalex.org/W654277524","https://openalex.org/W1498432697","https://openalex.org/W1501731334","https://openalex.org/W1593428110","https://openalex.org/W2016079941","https://openalex.org/W2048959899","https://openalex.org/W2059470663","https://openalex.org/W2062934926","https://openalex.org/W2079680418","https://openalex.org/W2093916942","https://openalex.org/W2132170793","https://openalex.org/W2340735175","https://openalex.org/W2610670723","https://openalex.org/W2913459036","https://openalex.org/W2963787308","https://openalex.org/W4211144022","https://openalex.org/W4244847755","https://openalex.org/W4251228600"],"related_works":["https://openalex.org/W55334476","https://openalex.org/W4232446061","https://openalex.org/W2124110813","https://openalex.org/W2092656858","https://openalex.org/W4285022830","https://openalex.org/W4387188591","https://openalex.org/W2996932295","https://openalex.org/W946220898","https://openalex.org/W2352091395","https://openalex.org/W1688113412"],"abstract_inverted_index":{"In":[0],"the":[1,4,11,47,57,72],"present":[2],"paper,":[3],"concepts":[5],"of":[6,59,80],"characters":[7,13,31,63],"as":[8,10],"well":[9],"least":[12],"for":[14,75,84],"LTL":[15,28,60,69,85,99],"(Linear":[16],"Temporal":[17],"Logic)":[18],"formulae":[19,29,61,86],"are":[20,87],"introduced.":[21],"It":[22],"is":[23,55,94],"pointed":[24],"out":[25],"that":[26],"those":[27],"with":[30,62],"can":[32,64],"always":[33],"be":[34,65],"checked":[35],"within":[36],"finite":[37],"steps":[38],"during":[39],"model":[40],"checking":[41],"even":[42],"in":[43,96,105],"some":[44],"cases":[45],"when":[46],"underlying":[48],"transition":[49],"system":[50],"contains":[51],"infinite":[52],"states.":[53],"What":[54],"more,":[56],"class":[58],"characterized":[66],"by":[67],"full":[68],"n":[70],",":[71],"bounded":[73],"case":[74],"LTL.":[76],"Meanwhile,":[77],"two":[78],"types":[79],"temporal":[81,106],"normal":[82,107],"form":[83],"proposed.":[88],"A":[89],"necessary":[90],"and":[91],"sufficient":[92],"condition":[93],"given":[95],"which":[97],"an":[98,102],"formula":[100,104],"has":[101],"equivalent":[103],"form.":[108]},"counts_by_year":[],"updated_date":"2026-02-11T14:41:00.668223","created_date":"2025-10-10T00:00:00"}