{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T05:12:56Z","timestamp":1774674776011,"version":"3.50.1"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Lang Inf"],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/bf00156915","type":"journal-article","created":{"date-parts":[[2004,11,4]],"date-time":"2004-11-04T07:12:32Z","timestamp":1099552352000},"page":"203-233","source":"Crossref","is-referenced-by-count":122,"title":["Adding a temporal dimension to a logic system"],"prefix":"10.1007","volume":"1","author":[{"given":"Marcelo","family":"Finger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dov M.","family":"Gabbay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9868-7","volume-title":"The Logic of Time","author":"Johan Benthem van","year":"1983","unstructured":"BenthemJohanvan, 1983, The Logic of Time. Dordrecht: D. Reidel."},{"issue":"2","key":"CR2","first-page":"566","volume":"26","author":"J. P. Burgess","year":"1985","unstructured":"BurgessJ. P. and GurevichYuri 1985, ?The decision problem for linear logic?, Notre Dame Journal of Formal Logic 26(2), 566?582.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"4","key":"CR3","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1305\/ndjfl\/1093870149","volume":"23","author":"John P. Burgess","year":"1982","unstructured":"BurgessJohn P., 1982, ?Axioms for tense logic I: ?Since? and ?Until??, Notre Dame Journal of Formal Logic 23(4), 367?374.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/978-94-009-6259-0_2","volume-title":"Handbook of Philosophical Logic","author":"John P. Burgess","year":"1984","unstructured":"BurgessJohn P., 1984 ?Basic tense logic?, pp. 89?133 in Handbook of Philosophical Logic, Volume II, D.Gabbay and F.Guenthner, eds., Dordrecht: D. Reidel."},{"key":"CR5","unstructured":"Casanova, M. A. and Furtado, A. L., 1982, ?A family of temporal languages for the description of transition constraints?, in 3rd Worksohp on Logical Bases for Databases, Toulouse, France, December."},{"key":"CR6","unstructured":"Fine, Kit and Schurz, Gerhard, 1992, ?Transfer theorems for stratified multimodal logics?, to appear."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Finger, Marcelo, 1992, ?Handling database updates in two-dimensional temporal logic?, to appear in J. of Applied Non-Classical Logic.","DOI":"10.1080\/11663081.1992.10510782"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Fitting, Melvin, 1990, First-Order Logic and Automated Theorem Proving. Texts and Monographs in Computer Science. Springer-Verlag.","DOI":"10.1007\/978-1-4684-0357-2"},{"issue":"2","key":"CR9","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1093\/logcom\/1.2.229","volume":"1","author":"Dov M. Gabbay","year":"1990","unstructured":"GabbayDov M. and HodkinsonIan M., 1990, ?An axiomatization of the temporal logic with until and since over the real numbers?, Journal of Logic and Computation 1(2), 229?259.","journal-title":"Journal of Logic and Computation"},{"key":"CR10","volume-title":"The declarative past and the imperative future","author":"Dov M. Gabbay","year":"1987","unstructured":"GabbayDov M., 1987, ?The declarative past and the imperative future? in Coloquium on Temporal Logic and Specifications-Lecture Notes in Computer Science 389, B.Banieqbal et al., eds., Manchester: Springer-Verlag."},{"key":"CR11","unstructured":"Gabbay, Dov M., 1990, ?Temporal logic, tense or non-tense ? inaugural lecture at Imperial College, 17 May 1988?, in Machinations ? Computational Studies of Logic, Language and Cognition, R. Spencer-Smith and S. Torrance, eds., Ablex Publishing Co."},{"key":"CR12","unstructured":"Gabbay, Dov M., 1991a, ?Labelled Deductive Systems ? Part I?, Technical Report CIS-Bericht-90-22, Universit\ufffdt M\ufffdnchen, Centrum f\ufffdr Informations ? und Sprachverarbeitung."},{"key":"CR13","unstructured":"Gabbay, Dov M., 1991b, ?Modal and temporal logic programming III?metalevel features in the object level?, in Non-Classical Logic Programming, L. F. del Cerro and M. Penttonen, eds., Oxford University Press."},{"key":"CR14","unstructured":"Gabbay, Dov M., 1991c, Temporal Logic?Mathematical Foundations and Computational Aspects. to appear."},{"key":"CR15","unstructured":"Gabbay, Dov M., 1991d, ?Theoretical foundations for non-monotonic reasoning Part 2: Structured non-monotonic theories?, pp. 19?40 in SCAI 91-Third Scandinavian Conference on AI."},{"key":"CR16","unstructured":"Gabbay, Dov M., 1992, ?Fibred semantics and combinations of logics?, Manuscript, Imperial College."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/978-94-009-6259-0_5","volume-title":"Handbook of Philosophical Logic","author":"James W. Garson","year":"1984","unstructured":"GarsonJames W., 1984 ?Quantification in modal logic?, pp. 249?307 in Handbook of Philosophical Logic, Volume II, D.Gabbay and F.Guenthner, eds., Dordrecht: D. Reidel."},{"key":"CR18","unstructured":"Halpern, Joseph Y. and Moses, Yoram, 1985, ?A guide to the modal logics of knowledge and belief?, pp. 480?490 in Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI-85)."},{"key":"CR19","unstructured":"Hintikka, Jaakko, 1962, Knowledge and Belief, Cornell University Press."},{"key":"CR20","unstructured":"Hughes, G. E. and Cresswell, M. J., 1968, An Introduction to Modal Logic, Methuen."},{"key":"CR21","unstructured":"Konolige, K., 1986, A Deductive Model of Belief, Research notes in Artificial Intelligence, Morgan Kaufmann."},{"issue":"4","key":"CR22","doi-asserted-by":"crossref","first-page":"1469","DOI":"10.2307\/2275487","volume":"56","author":"Marcus Kracht","year":"1991","unstructured":"KrachtMarcus and WolterFrank, 1991, ?Properties of independently axiomatizable bimodal logics?, Journal of Symbolic Logic 56(4), 1469?1485.","journal-title":"Journal of Symbolic Logic"},{"key":"CR23","unstructured":"Quine, Willard Van Orman, 1960, Word and Object, MIT Press."},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"Reynolds, Mark A., 1992, ?An axiomatisation for until ans since over the reals without the IRR rule?, to appear in Studia Logica.","DOI":"10.1007\/BF00370112"},{"key":"CR25","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-94-009-6259-0_3","volume-title":"Handbook of Philosophical Logic","author":"Richmond H. Thomason","year":"1984","unstructured":"ThomasonRichmond H., 1984, ?Combinations of tense and modality?, pp. 135?165 in Handbook of Philosophical Logic, Volume II, D.Gabbay and F.Guenthner, eds., Dordrecht: D. Reidel."},{"key":"CR26","first-page":"181","volume":"17","author":"Ming Xu","year":"1988","unstructured":"XuMing, 1988, ?On some U, S-tense logics?, Journal of Philosophical Logic 17, 181?202.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00156915.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00156915\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00156915","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T19:47:56Z","timestamp":1585943276000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00156915"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1992]]}},"alternative-id":["BF00156915"],"URL":"https:\/\/doi.org\/10.1007\/bf00156915","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992]]}}}