{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,4]],"date-time":"2024-04-04T08:10:12Z","timestamp":1712218212307},"reference-count":37,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.3166\/jancl.20.241-277","type":"journal-article","created":{"date-parts":[[2011,2,17]],"date-time":"2011-02-17T14:38:24Z","timestamp":1297953504000},"page":"241-277","source":"Crossref","is-referenced-by-count":3,"title":["Back from the future"],"prefix":"10.1080","volume":"20","author":[{"given":"Andrea","family":"Masini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Vigan\u00f2","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Volpe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90008-0"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp022"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/7.1.27"},{"key":"CIT0004","first-page":"47","volume-title":"Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007)","author":"Bolotov A."},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.2.195"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.1970.tb00428.x"},{"key":"CIT0007","first-page":"118","volume-title":"Proceedings of the 6th International Symposium on Frontiers of Combining Systems (FroCoS 2007), volume 4720 of Lecture Notes in Computer Science","author":"Caleiro C."},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-4040-9_6"},{"key":"CIT0009","first-page":"93","volume-title":"Proceedings of the 1st International Workshop on Frontiers of Combining Systems (FroCoS 1996), volume 3 of Applied Logic Series","author":"del Cerro L. F."},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"CIT0011","volume-title":"Handbook of Temporal Reasoning in Artificial Intelligence (Foundations of Artificial Intelligence)","author":"Fisher M.","year":"2005"},{"key":"CIT0012","first-page":"409","volume-title":"Proceedings of Temporal Logic in Specification (TLS 1987), volume 398 of Lecture Notes in Computer Science","author":"Gabbay D. M."},{"key":"CIT0013","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538332.001.0001","volume-title":"Labelled Deductive Systems","author":"Gabbay D. M.","year":"1996"},{"key":"CIT0014","first-page":"1","volume-title":"Proceedings of the 1st InternationalWorkshop on Frontiers of Combining Systems (FroCoS 1996), volume 3 of Applied Logic Series","author":"Gabbay D. M."},{"key":"CIT0015","first-page":"163","volume-title":"Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of programming languages (POPL 1980)","author":"Gabbay D. M."},{"key":"CIT0016","volume-title":"Logics of Time and Computation","author":"Goldblatt R. I.","year":"1987"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1080\/11663081.2000.10510998"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2005.06.012"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1754-0_6"},{"key":"CIT0020","volume-title":"Decision Procedures for Temporal Logic","author":"Gough G. D.","year":"1989"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1145\/115234.115351"},{"key":"CIT0022","volume-title":"Tense Logic and the Theory of Linear Order","author":"Kamp J. A. W.","year":"1968"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-71549-5"},{"key":"CIT0024","first-page":"383","volume-title":"Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002)","author":"Laroussinie F."},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00035-U"},{"key":"CIT0026","first-page":"338","volume-title":"Proceedings of the International Symposium on Logical Foundations of Computer Science (LFCS 2009), volume 5407 of Lecture Notes in Computer Science","author":"Masini A."},{"key":"CIT0027","first-page":"189","volume-title":"Proceedings of the 6th Workshop on Methods for Modalities (M4M-06)","author":"Masini A."},{"key":"CIT0028","author":"Masini A.","year":"2010","journal-title":"Journal of Logic and Computation"},{"key":"CIT0029","volume-title":"Natural Deduction: a Proof-Theoretical Study","author":"Prawitz D.","year":"1965"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"key":"CIT0031","first-page":"130","volume-title":"Proceedings of the 3rd International Workshop on Algorithms for Construction and Analysis of Systems (TACAS 1997), volume 1217 of Lecture Notes in Computer Science","author":"Schmitt P. H."},{"key":"CIT0032","first-page":"277","volume-title":"Proceedings of the 7th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 1998), volume 1397 of Lecture Notes in Computer Science","author":"Schwendimann S."},{"key":"CIT0033","volume-title":"The Proof Theory and Semantics of Intuitionistic Modal Logic","author":"Simpson A. K.","year":"1994"},{"key":"CIT0034","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168717"},{"key":"CIT0035","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-08402-1"},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3208-5"},{"key":"CIT0037","first-page":"118","volume-title":"Proceedings of the 15th International Symposium on Temporal Representation and Reasoning (TIME 2008)","author":"Vigan\u00f2 L."}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,4]],"date-time":"2024-04-04T07:55:40Z","timestamp":1712217340000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.20.241-277"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":37,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2010,1]]}},"alternative-id":["10.3166\/jancl.20.241-277"],"URL":"https:\/\/doi.org\/10.3166\/jancl.20.241-277","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1]]}}}