{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T11:44:54Z","timestamp":1757591094050,"version":"3.40.5"},"reference-count":23,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2023,1,2]]},"DOI":"10.1080\/11663081.2023.2209494","type":"journal-article","created":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T05:54:21Z","timestamp":1684043661000},"page":"1-51","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":3,"title":["Defeasible linear temporal logic"],"prefix":"10.1080","volume":"33","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0688-1967","authenticated-orcid":false,"given":"Anasse","family":"Chafik","sequence":"first","affiliation":[{"name":"CRIL, Universit\u00e9 d'Artois et CNRS, Lens, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fahima","family":"Cheikh-Alili","sequence":"additional","affiliation":[{"name":"CRIL, Universit\u00e9 d'Artois et CNRS, Lens, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Fran\u00e7ois","family":"Condotta","sequence":"additional","affiliation":[{"name":"CRIL, Universit\u00e9 d'Artois et CNRS, Lens, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Varzinczak","sequence":"additional","affiliation":[{"name":"LIASD, Universit\u00e9 Paris 8, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2023,5,13]]},"reference":[{"volume-title":"Temporal logic: Formulas, models, tableaux","year":"2012","author":"Ben-Ari M.","key":"CIT0001"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33353-8_9"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90096-5"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.10.006"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.2017.1397325"},{"key":"CIT0006","unstructured":"Chafik, A., Cheikh-Alili, F., Condotta, J.F. & Varzinczak, I. (2020). On the Decidability of a Fragment of preferential LTL. In E. Mu\u00f1oz-Velasco, A. Ozaki, and M. Theobald (Eds.), 27th International Symposium on Temporal Representation and Reasoning (TIME 2020), volume 178 of Leibniz International Proceedings in Informatics (LIPIcs) (pp. 19:1\u201319:19). Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik."},{"key":"CIT0007","unstructured":"Chafik, A., Cheikh-Alili, F., Condotta, J.F. & Varzinczak, I. (2021). A One-Pass Tree-Shaped Tableau for Defeasible LTL. In C. Combi, J. Eder, and M. Reynolds (Eds.), 28th International Symposium on Temporal Representation and Reasoning (TIME 2021), volume 206 of Leibniz International Proceedings in Informatics (LIPIcs) pp. (16:1\u201316:18). Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik."},{"key":"CIT0008","unstructured":"De Giacomo, G. & Vardi, M. Y. (2013, August 3-9). Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. In F. Rossi (Ed.), IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China (pp. 854\u2013860). IJCAI\/AAAI."},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.3094"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75560-9_20"},{"issue":"3","key":"CIT0011","first-page":"1","volume":"10","author":"Giordano L.","year":"2009","journal-title":"ACM Transactions on Computational Logic"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2009-182"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90101-5"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1007\/BF00262950"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2020.2988848"},{"key":"CIT0016","doi-asserted-by":"crossref","unstructured":"Makinson, D. (2005). How to Go Nonmonotonic, (pp. 175\u2013278). Handbook of Philosophical Logic. Springer.","DOI":"10.1007\/1-4020-3092-4_3"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73370-6_11"},{"key":"CIT0019","unstructured":"Shoham, Y. (1987, June 22\u201325). A semantical approach to nonmonotic logics. In Proceedings of the Symposium on Logic in Computer Science (LICS '87), Ithaca, New York, USA, (pp. 275\u2013279). IEEE Computer Society."},{"volume-title":"Reasoning about change: time and causation from the standpoint of artificial intelligence","year":"1988","author":"Shoham Y.","key":"CIT0020"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1145\/3828.3837"},{"key":"CIT0022","unstructured":"Stalnaker, R. C. (1968). A theory of conditionals. In N. Rescher (Ed.), Studies in Logical Theory (American Philosophical Quarterly Monographs 2), (pp. 98\u2013112). Oxford: Blackwell."},{"key":"CIT0023","unstructured":"Tabuada, P. & Neider, D. (2016). Robust Linear Temporal Logic. In Jean-Marc Talbot and Laurent Regnier, editors, 25th EACSL Annual Conference on Computer Science Logic (CSL 2016), volume 62 of Leibniz International Proceedings in Informatics (LIPIcs), (pp. 10:1\u201310:21). Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik."}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/11663081.2023.2209494","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T07:17:54Z","timestamp":1685344674000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/11663081.2023.2209494"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,2]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,1,2]]}},"alternative-id":["10.1080\/11663081.2023.2209494"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2023.2209494","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[2023,1,2]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2022-12-14","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-04-12","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-05-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}