{"id":"https://openalex.org/W4376506638","doi":"https://doi.org/10.1080/11663081.2023.2209494","title":"Defeasible linear temporal logic","display_name":"Defeasible linear temporal logic","publication_year":2023,"publication_date":"2023-01-02","ids":{"openalex":"https://openalex.org/W4376506638","doi":"https://doi.org/10.1080/11663081.2023.2209494"},"language":"en","primary_location":{"id":"doi:10.1080/11663081.2023.2209494","is_oa":false,"landing_page_url":"https://doi.org/10.1080/11663081.2023.2209494","pdf_url":null,"source":{"id":"https://openalex.org/S93822064","display_name":"Journal of Applied Non-Classical Logics","issn_l":"1166-3081","issn":["1166-3081","1958-5780"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547","https://openalex.org/P4310320449"],"host_organization_lineage_names":["Taylor & Francis","Informa"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Applied Non-Classical Logics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-04098600v1/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007585873","display_name":"Anasse Chafik","orcid":"https://orcid.org/0000-0002-0688-1967"},"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/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Anasse Chafik","raw_affiliation_strings":["CRIL, Universit\u00e9 d'Artois et CNRS, Lens, France"],"raw_orcid":"https://orcid.org/0000-0002-0688-1967","affiliations":[{"raw_affiliation_string":"CRIL, Universit\u00e9 d'Artois et CNRS, Lens, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I44563897"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025833993","display_name":"Fahima Cheikh","orcid":"https://orcid.org/0000-0002-4543-625X"},"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/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fahima Cheikh-Alili","raw_affiliation_strings":["CRIL, Universit\u00e9 d'Artois et CNRS, Lens, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CRIL, Universit\u00e9 d'Artois et CNRS, Lens, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I44563897"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060067293","display_name":"Jean-Fran\u00e7ois Condotta","orcid":null},"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/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Fran\u00e7ois Condotta","raw_affiliation_strings":["CRIL, Universit\u00e9 d'Artois et CNRS, Lens, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CRIL, Universit\u00e9 d'Artois et CNRS, Lens, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I44563897"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034598656","display_name":"Ivan Varzinczak","orcid":"https://orcid.org/0000-0002-0025-9632"},"institutions":[{"id":"https://openalex.org/I48825208","display_name":"Universit\u00e9 Paris 8","ror":"https://ror.org/04wez5e68","country_code":"FR","type":"education","lineage":["https://openalex.org/I48825208"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Ivan Varzinczak","raw_affiliation_strings":["LIASD, Universit\u00e9 Paris 8, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LIASD, Universit\u00e9 Paris 8, Paris, France","institution_ids":["https://openalex.org/I48825208"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5007585873"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I44563897"],"apc_list":null,"apc_paid":null,"fwci":0.3878,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.67783732,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":96},"biblio":{"volume":"33","issue":"1","first_page":"1","last_page":"51"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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.9984999895095825,"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.7037721872329712},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6636393666267395},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6609233617782593},{"id":"https://openalex.org/keywords/defeasible-estate","display_name":"Defeasible estate","score":0.6437208652496338},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.6422015428543091},{"id":"https://openalex.org/keywords/defeasible-reasoning","display_name":"Defeasible reasoning","score":0.6066811680793762},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5476046204566956},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4815371632575989},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4373824894428253},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4308076500892639},{"id":"https://openalex.org/keywords/computation-tree-logic","display_name":"Computation tree logic","score":0.4156966209411621},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.4112378656864166},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.28575313091278076},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2357054054737091},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.17227843403816223}],"concepts":[{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.7037721872329712},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6636393666267395},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6609233617782593},{"id":"https://openalex.org/C193856179","wikidata":"https://www.wikidata.org/wiki/Q5251100","display_name":"Defeasible estate","level":2,"score":0.6437208652496338},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.6422015428543091},{"id":"https://openalex.org/C140843580","wikidata":"https://www.wikidata.org/wiki/Q840067","display_name":"Defeasible reasoning","level":2,"score":0.6066811680793762},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5476046204566956},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4815371632575989},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4373824894428253},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4308076500892639},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.4156966209411621},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.4112378656864166},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28575313091278076},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2357054054737091},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.17227843403816223},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1080/11663081.2023.2209494","is_oa":false,"landing_page_url":"https://doi.org/10.1080/11663081.2023.2209494","pdf_url":null,"source":{"id":"https://openalex.org/S93822064","display_name":"Journal of Applied Non-Classical Logics","issn_l":"1166-3081","issn":["1166-3081","1958-5780"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547","https://openalex.org/P4310320449"],"host_organization_lineage_names":["Taylor & Francis","Informa"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Applied Non-Classical Logics","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-04098600v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04098600","pdf_url":"https://hal.science/hal-04098600v1/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Applied Non-Classical Logics, 2023, 33 (1), pp.1-51. ⟨10.1080/11663081.2023.2209494⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-04098600v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04098600","pdf_url":"https://hal.science/hal-04098600v1/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Applied Non-Classical Logics, 2023, 33 (1), pp.1-51. ⟨10.1080/11663081.2023.2209494⟩","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.44999998807907104,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4376506638.pdf","grobid_xml":"https://content.openalex.org/works/W4376506638.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W1509410808","https://openalex.org/W1700264732","https://openalex.org/W1766746861","https://openalex.org/W1836691125","https://openalex.org/W1947471199","https://openalex.org/W2003227046","https://openalex.org/W2023808162","https://openalex.org/W2026379532","https://openalex.org/W2032906824","https://openalex.org/W2080142817","https://openalex.org/W2089822569","https://openalex.org/W2100982478","https://openalex.org/W2150191218","https://openalex.org/W2187743782","https://openalex.org/W2777194062","https://openalex.org/W3020490804","https://openalex.org/W4239025284","https://openalex.org/W4379364172","https://openalex.org/W6635305494","https://openalex.org/W6641298166","https://openalex.org/W6802500151","https://openalex.org/W6966616332"],"related_works":["https://openalex.org/W2969415202","https://openalex.org/W2540254214","https://openalex.org/W2810795263","https://openalex.org/W2481680351","https://openalex.org/W2380969826","https://openalex.org/W2098238158","https://openalex.org/W151947385","https://openalex.org/W2964084085","https://openalex.org/W2077212436","https://openalex.org/W2162611236"],"abstract_inverted_index":{"After":[0],"the":[1,12,39,64,71,152,173,195,221,235,238,244,261],"seminal":[2],"work":[3,233],"of":[4,22,35,41,57,66,154,162,176,183,197,208,214,220,224,237,247,250,263,267],"Kraus,":[5],"Lehmann":[6],"and":[7,17,46,100,110,231],"Magidor":[8],"(formally":[9],"known":[10],"as":[11,85,104,201],"KLM":[13],"approach)":[14],"on":[15,229,234],"conditionals":[16],"preferential":[18,160,185],"models,":[19],"many":[20],"aspects":[21,37],"defeasibility":[23,58],"in":[24,31,43,49,63,73,97,265],"more":[25],"complex":[26],"formalisms":[27],"have":[28],"been":[29],"studied":[30],"recent":[32],"years.":[33],"Examples":[34],"these":[36,209,268],"are":[38],"notion":[40],"typicality":[42],"description":[44],"logic":[45,168],"defeasible":[47,90,165,206],"necessity":[48],"modal":[50],"logic.":[51],"We":[52,192],"discuss":[53,194],"a":[54,105,159,202,218,257],"new":[55],"aspect":[56],"that":[59,114],"can":[60,131,187],"be":[61,132,146,188],"expressed":[62],"case":[65,86],"temporal":[67,167,199],"logic,":[68],"which":[69],"is":[70,217],"normality":[72],"an":[74],"execution.":[75],"In":[76,148,172],"this":[77,89,177,215],"contribution,":[78],"we":[79,157,179,242,255],"take":[80],"Linear":[81],"Temporal":[82],"Logic":[83],"(LTL)":[84],"study":[87,158,219],"for":[88,108],"aspect.":[91],"LTL":[92,225,240,251],"has":[93],"found":[94],"extensive":[95],"applications":[96],"Computer":[98],"Science":[99],"Artificial":[101],"Intelligence,":[102],"notably":[103],"formal":[106],"framework":[107],"representing":[109],"verifying":[111],"computer":[112],"systems":[113,120],"vary":[115],"over":[116],"time.":[117],"However,":[118],"some":[119,125],"may":[121],"presents":[122],"exceptions":[123,136],"at":[124,137],"innocuous":[126],"time":[127,140],"points":[128,141],"where":[129,142],"they":[130,143],"tolerated,":[133],"or":[134],"conversely,":[135],"other":[138],"crucial":[139],"need":[144],"to":[145,150,204,259],"addressed.":[147],"order":[149],"ensure":[151],"reliability":[153],"such":[155],"systems,":[156],"extension":[161],"LTL,":[163],"called":[164],"linear":[166],"(LTL":[169],"~":[170,226,252],").":[171],"first":[174],"part":[175,213],"paper,":[178],"show":[180,243],"how":[181],"semantics":[182],"KLM's":[184],"models":[186],"integrated":[189],"with":[190],"LTL.":[191],"also":[193],"addition":[196],"non-monotonic":[198],"operators":[200],"way":[203],"formalise":[205],"properties":[207],"systems.":[210],"The":[211],"second":[212],"paper":[216],"satisfiability":[222,262],"problem":[223],"sentences.":[227],"Based":[228],"Sistla":[230],"Clarke's":[232],"complexity":[236],"classical":[239],"language,":[241],"bounded-model":[245],"property":[246],"two":[248],"fragments":[249],"language.":[253],"Moreover,":[254],"provide":[256],"procedure":[258],"check":[260],"sentences":[264],"both":[266],"fragments.":[269]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}