{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:05:39Z","timestamp":1759147539353},"reference-count":32,"publisher":"Informa UK Limited","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2006,1]]},"DOI":"10.3166\/jancl.16.251-277","type":"journal-article","created":{"date-parts":[[2007,4,11]],"date-time":"2007-04-11T09:06:10Z","timestamp":1176282370000},"page":"251-277","source":"Crossref","is-referenced-by-count":8,"title":["Relational dual tableaux for interval temporal logics \u2605"],"prefix":"10.1080","volume":"16","author":[{"given":"Davide","family":"Bresolin","sequence":"first","affiliation":[{"name":"a   Department of Mathematics and Computer Science , University of Udine (Italy)"}]},{"given":"Joanna","family":"Goli\u0144ska-Pilarek","sequence":"additional","affiliation":[{"name":"b  National Institute of Telecommunications ,  Warsaw ,  Poland"}]},{"given":"Ewa","family":"Orlowska","sequence":"additional","affiliation":[{"name":"b  National Institute of Telecommunications ,  Warsaw ,  Poland"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.2.195"},{"key":"CIT0003","first-page":"38","volume-title":"Proceedings of M4M- 4: 4th International Workshop on Methods for Modalities","author":"BRESOLIN D.","year":"2005"},{"key":"CIT0004","first-page":"63","volume-title":"Proceedings of TABLEAUX 2005, vol. 3702 of LNAI","author":"BRESOLIN D.","year":"2005"},{"key":"CIT0005","author":"BRESOLIN D.","year":"2006","journal-title":"Journal of Automated Reasoning"},{"key":"CIT0006","doi-asserted-by":"crossref","first-page":"584","DOI":"10.1007\/3-540-49213-5_23","volume-title":"Compositionality: the Significant Difference, vol. 1536 of LNCS","author":"CHAOCHEN Z.","year":"1998"},{"key":"CIT0007","volume-title":"RelDT: A relational dual tableaux automated theorem prover","author":"DALLIEN J.","year":"2005"},{"key":"CIT0008","first-page":"51","volume-title":"Proceedings of the 12th Software Technology and Theoretical Computer Science, vol. 652 of LNCS","author":"DILLON L."},{"key":"CIT0009","first-page":"173","volume-title":"Proceedings of th 13th Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 761 of LNCS","author":"DILLON L."},{"issue":"1","key":"CIT0010","first-page":"1","volume":"170","author":"DILLON L.","year":"1996","journal-title":"Theoretical Computer Science"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00254-5"},{"key":"CIT0012","series-title":"Fachberichte Informatik No 12","first-page":"1","volume-title":"TABLEAUX 2005 Position Papers and Tutorial Descriptions","author":"FORMISANO A.","year":"2005"},{"key":"CIT0013","doi-asserted-by":"crossref","DOI":"10.1007\/11964810_7","volume-title":"Relational logics and their applications","author":"GOLI\u0143SKA-PILAREK J.","year":"2006"},{"key":"CIT0014","author":"GOLI\u0143SKA-PILAREK J.","year":"2006","journal-title":"Studia Logica"},{"key":"CIT0015","first-page":"102","volume-title":"Proceedings of the International Conference TABLEAUX 2003, vol. 2796 of LNAI","author":"GORANKO V."},{"issue":"9","key":"CIT0016","first-page":"1137","volume":"9","author":"GORANKO V.","year":"2003","journal-title":"Journal of Universal Computer Science"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.14.9-54"},{"key":"CIT0018","author":"GORANKO V.","year":"2006","journal-title":"Journal of Applied Logic"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1145\/115234.115351"},{"key":"CIT0020","volume-title":"The algebra of convex time intervals","author":"LADKIN P. B.","year":"1987"},{"key":"CIT0021","first-page":"290","volume-title":"Proc. of 6th Asian Computing Science Conference, vol. 1961 of LNCS","author":"LODAYA K."},{"key":"CIT0022","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1023\/A:1020572931854","volume":"71","author":"MACCAULL W.","year":"2002","journal-title":"Studia Logica"},{"key":"CIT0023","first-page":"259","volume-title":"Proc. of the 8th European Conference on Logic in Artificial Intelligence, vol. 2424 of LNAI","author":"MONTANARI A."},{"key":"CIT0024","volume-title":"Reasoning about digital circuits","author":"MOSZKOWSKI B.","year":"1983"},{"key":"CIT0025","first-page":"443","volume-title":"Algebraic Logic, vol. 54 of Colloquia Mathematica Societatis Janos Bolyai","author":"OR\u0141OWSKA E.","year":"1988"},{"key":"CIT0026","first-page":"249","volume-title":"Time and Logic \u2013 a Computational Approach","author":"OR\u0141OWSKA E.","year":"1995"},{"key":"CIT0027","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-94-017-2798-3_5","volume-title":"Proof Theory of Modal Logics","author":"OR\u0141OWSKA E.","year":"1996"},{"key":"CIT0028","volume-title":"The Mathematics of Metamathematics","author":"RASIOWA H.","year":"1963"},{"key":"CIT0029","first-page":"308","volume-title":"Proceedings of the Annual European Conference on Computer Science Logic CSL'2001, vol. 2142 of LNCS","author":"RASMUSSEN T."},{"key":"CIT0030","volume-title":"A Sequent Calculus for Signed Interval Logics","author":"RASMUSSEN T.","year":"2001"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093635589"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/1.4.453"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.16.251-277","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T10:31:08Z","timestamp":1498213868000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.16.251-277"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":32,"journal-issue":{"issue":"3-4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2006,1]]}},"alternative-id":["10.3166\/jancl.16.251-277"],"URL":"https:\/\/doi.org\/10.3166\/jancl.16.251-277","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1]]}}}