{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T16:31:50Z","timestamp":1761928310531,"version":"build-2065373602"},"reference-count":23,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1996,4,1]]},"DOI":"10.1305\/ndjfl\/1040046087","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:10:32Z","timestamp":1046207432000},"source":"Crossref","is-referenced-by-count":33,"title":["Combining Temporal Logic Systems"],"prefix":"10.1215","volume":"37","author":[{"given":"Marcelo","family":"Finger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dov","family":"Gabbay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"Aqvist, L., \u201cA conjectured axiomatization of two-dimensional Reichenbachian tense logic,\u201d Journal of Philosophical Logic<\/i>, vol. 8 (1979), pp. 1\u201345. Zbl 0407.03024 MR 80d:03014","DOI":"10.1007\/BF00258418"},{"key":"2","unstructured":"B\u00fcchi, J. R., \u201cOn a decision method in restricted second order arithmetic,\u201d pp. 1\u201311 in Logic, Methodology, and Philosophy of Science: Proceedings of the 1960 International Congress<\/i>, Stanford University Press, Stanford, 1962. MR 32:1116"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Burgess, J. P., and Y. Gurevich, \u201cThe decision problem for linear logic,\u201d Notre Dame Journal of Formal Logic<\/i>, vol. 26 (1985), pp. 566\u2013582. Zbl 0573.03004","DOI":"10.1305\/ndjfl\/1093870820"},{"key":"4","doi-asserted-by":"publisher","unstructured":"Burgess, J. P., \u201cAxioms for tense logic I: `Since' and `Until',\u201d Notre Dame Journal of Formal Logic<\/i>, vol. 23 (1982), pp. 367\u2013374. Zbl 0452.03021 MR 84j:03031a","DOI":"10.1305\/ndjfl\/1093870149"},{"key":"5","doi-asserted-by":"crossref","unstructured":"Burgess, J. P., \u201cBasic tense logic,\u201d pp. 89\u2013133 in Handbook of Philosophical Logic<\/i>, volume II, edited by D. Gabbay and F. Guenthner, Reidel, Dordrecht, 1984. Zbl 0875.03046 MR 844597","DOI":"10.1007\/978-94-009-6259-0_2"},{"key":"6","doi-asserted-by":"publisher","unstructured":"Finger, M., and D. M. Gabbay. \u201cAdding a Temporal Dimension to a Logic System,\u201d Journal of Logic, Language and Information<\/i>, vol. 1 (1992), pp. 203\u2013233. Zbl 0798.03031 MR 95h:03037","DOI":"10.1007\/BF00156915"},{"key":"7","doi-asserted-by":"publisher","unstructured":"Finger, M., \u201cHandling database updates in two-dimensional temporal logic,\u201d Journal of Applied Non-Classical Logic<\/i>, vol. 2 (1992), pp. 201\u2013224. Zbl 0798.68048 MR 94m:68032","DOI":"10.1080\/11663081.1992.10510782"},{"key":"8","unstructured":"Finger, M., Changing the Past: Database Applications of Two-dimensional Temporal Logics<\/i>, Ph.D. Thesis, Imperial College, Department of Computing, February, 1994."},{"key":"9","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M., \u201cAn irreflexivity lemma,\u201d pp. 67\u201389 in Aspects of Philosophical Logic<\/i>, edited by U. Monnich, Reidel, Dordrecht, 1981. Zbl 0519.03008 MR 83f:03015","DOI":"10.1007\/978-94-009-8384-7_3"},{"key":"10","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M., \u201cExpressive functional completeness in tense logic,\u201d pp. 91\u2013117 in Aspects of Philosophical Logic<\/i>, edited by U. Monnich, Reidel, Dordrecht, 1981. Zbl 0523.03017","DOI":"10.1007\/978-94-009-8384-7_4"},{"key":"11","unstructured":"Gabbay, D. M., Fibred semantics and the weaving of logics<\/i> \u2013- Part 1: Modal and intuitionistic logics, Part 2: Fibring non-monotonic logics, Part 3: How to make your logic fuzzy. Lectures given at Logic Colloquim 1992<\/i>, Vezpr\u00e9m, Hungary 1992. A version of the notes is published as a Technical Report by the University of Stuttgart, Sonderforschungereich 340, Azenbergstr 12, 70174, Stuttgart, Germany, No. 36, 1993. Part 1 is forthcoming in The Journal of Symbolic Logic<\/i>. Part 2 is forthcoming in Logic Colloquium 92<\/i>. Zbl 0872.03007 Zbl 0856.03021 Zbl 0947.03034 MR 99j:03009 MR 99j:03010 MR 2002b:03053"},{"key":"12","unstructured":"Gabbay, D. M., Labelled Deductive Systems: Principles and Applications. Volume 1: Basic Principles<\/i>, forthcoming from Oxford University Press."},{"key":"13","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M., I. M. Hodkinson, and M. A. Reynolds, Temporal Logic: Mathematical Foundations and Computational Aspects<\/i>, Oxford University Press, Oxford, 1994. Zbl 0921.03023 MR 95h:03040","DOI":"10.1093\/oso\/9780198537694.001.0001"},{"key":"14","unstructured":"Halpern, J. Y., and Y. Shoham, \u201cA propositional modal logic of time intervals,\u201d pp. 279\u2013292 in Proceedings of the Symposium on Logics in Computer Science, LICS86<\/i>, Washington, 1986."},{"key":"15","unstructured":"Kamp, H., \u201cFormal properties of now,\u201d Theoria<\/i>, vol. 35 (1971), pp. 227\u2013273. Zbl 0269.02008 MR 49:2265"},{"key":"16","doi-asserted-by":"publisher","unstructured":"Kracht, M., and F. Wolter, \u201cProperties of independently axiomatizable bimodal logics,\u201d The Journal of Symbolic Logic<\/i>, vol. 56 (1991), pp. 1469\u20131485. Zbl 0743.03013 MR 93c:03021","DOI":"10.2307\/2275487"},{"key":"17","doi-asserted-by":"crossref","unstructured":"Rabin, M. O., \u201cDecidability of second order theories and automata on infinite trees,\u201d pp. 595\u2013629 in Transactions of the American Mathematical Society<\/i>, vol. 141, American Mathematical Society, Providence, 1969. Zbl 0221.02031 MR 40:30","DOI":"10.2307\/1995086"},{"key":"18","doi-asserted-by":"crossref","unstructured":"Reynolds, M. A., \u201cAn axiomatisation for until and since over the reals without the IRR rule,\u201d Studia Logica<\/i>, vol. 51 (1992), pp. 165\u2013194. Zbl 0785.03006 MR 93m:03033","DOI":"10.1007\/BF00370112"},{"key":"19","doi-asserted-by":"crossref","unstructured":"Segerberg, K., \u201cTwo-dimensional modal logic,\u201d Journal of Philosophical Logic<\/i>, vol. 2 (1973), pp. 77\u201396. Zbl 0259.02013 MR 54:12488","DOI":"10.1007\/BF02115610"},{"key":"20","unstructured":"Spaan, E., Complexity of Modal Logics<\/i>, Ph.D. Thesis, Free University of Amsterdam, 1993."},{"key":"21","doi-asserted-by":"crossref","unstructured":"Thomason, S. K., \u201cIndependent propositional modal logics,\u201d Studia Logica<\/i>, vol. 39 (1980), pp. 143\u2013144. Zbl 0457.03017 MR 81m:03026","DOI":"10.1007\/BF00370317"},{"key":"22","doi-asserted-by":"publisher","unstructured":"Venema, Y., \u201cExpressiveness and completeness of an interval tense logic,\u201d Notre Dame Journal of Formal Logic<\/i>, vol. 31 (1990), pp. 529\u2013547. Zbl 0725.03006 MR 92a:03029","DOI":"10.1305\/ndjfl\/1093635589"},{"key":"23","unstructured":"Xu, M., \u201cOn some ${U,S}$-tense logics,\u201d Journal of Philosophical Logic<\/i>, vol. 17 (1988), pp. 181\u2013202. Zbl 0648.03010 MR 89d:03017"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040046087","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:47Z","timestamp":1706649167000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-37\/issue-2\/Combining-Temporal-Logic-Systems\/10.1305\/ndjfl\/1040046087.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,4,1]]},"references-count":23,"journal-issue":{"issue":"2","published-online":{"date-parts":[[1996,4,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040046087","relation":{},"ISSN":["0029-4527"],"issn-type":[{"type":"print","value":"0029-4527"}],"subject":[],"published":{"date-parts":[[1996,4,1]]}}}