{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:27:09Z","timestamp":1748071629753},"reference-count":21,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1992,1]]},"DOI":"10.1080\/11663081.1992.10510782","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T07:55:35Z","timestamp":1338364535000},"page":"201-224","source":"Crossref","is-referenced-by-count":15,"title":["Handling database updates in two-dimensional temporal logic"],"prefix":"10.1080","volume":"2","author":[{"given":"Marcelo","family":"Finger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"crossref","unstructured":"Barringer, H., Fisher, M., Gabbay, D. M., Gough, G. and Owens, R. P. 1989.METATEM: a framework for programming in temporal logic. Proc. REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness, Lecture Notes in Computer Science, Vol. 43094\u2013129. Springer Verlag. Mook, The Netherlands","DOI":"10.1007\/3-540-52559-9_62"},{"key":"CIT0002","unstructured":"Barringer, H., Fisher, M., Gabbay, D. M. and Hunter, A. 1991. \u201cMeta-reasoning in executable temporal logic. Proc. of the 2nd Conf. on the Principles of Knowledge and Reasoning, San Mateo, CA\u201d. Morgan & Kaufmann, 40\u201349"},{"issue":"4","key":"CIT0003","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1305\/ndjfl\/1093870149","volume":"23","author":"Burges J. P.","year":"1982","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"CIT0004","unstructured":"Castilho, J. M.V., Casanova, M. A. and Furtado, A. L. 1982. \u201cA temporal framework for database specifications. Proc. of the 8th Inter. Conf. on Very Large Databases, Mexico City, Sept.\u201d."},{"issue":"2","key":"CIT0005","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1145\/319983.319986","volume":"8","author":"Clifford J.","year":"1983","journal-title":"on Database Systems"},{"key":"CIT0006","volume-title":"An Introduction to Database Systems\u2014Vol. 1.","author":"Date C. J.","year":"1986"},{"key":"CIT0007","unstructured":"Finger, M. 1990. \u201cA two dimensional approach to historical databases. Master's Thesis, Dept. of Computing, Imperial College\u201d."},{"key":"CIT0008","unstructured":"Finger, M. and Gabbay, D. M. 1991. \u201cAdding a temporal dimension to a logic system. Dept. of Computing, Imperial College, Unpublished draft\u201d."},{"key":"CIT0009","unstructured":"Gabbay, D. M. and Rohrer, C. 1978. \u201cRelative tenses: the interpretation of tense forms which occur in the scope of temporal adverbs or in embedded sentences. In: Papers on Tense, Aspect and Verb Classification, TBL Verlag G. Narr, Tubingen\u201d. 99\u2013111."},{"key":"CIT0010","volume-title":"Manchester, April 1987 Lecture Notes in Computer Science","volume":"389","author":"Gabbay D. M."},{"key":"CIT0011","unstructured":"Gabbay, D. M. 1991. \u201cTemporal Logic\u2014Mathematical Foundations and Computational Aspects. To appear\u201d."},{"key":"CIT0012","volume-title":"Knowledge in Flue\u2014Modeling the Dynamics of Epistemic States.","author":"G\u00e4rdenfors P.","year":"1988"},{"key":"CIT0013","unstructured":"Konolige, K. 1986. \u201cA Deductive Model of Belief. Research Notes in Artificial Intelligence, Morgan & Kaufmann\u201d."},{"key":"CIT0014","volume-title":"Temporal Logics of Programs. Springer EATCS Monographs on Theoretical Computer Science","author":"Kr\u00d6ger F.","year":"1987"},{"key":"CIT0015","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0743-1066(85)90013-5","volume":"2","author":"Lloyd J. W.","year":"1985","journal-title":"J. of Logic Programming"},{"key":"CIT0016","first-page":"388","volume-title":"Brussels, Nov. 1990","author":"Loucopoulos P."},{"key":"CIT0017","doi-asserted-by":"crossref","unstructured":"Moore, R. C. 1985. \u201cSemantical considerations on nonmonotonical logic. Artificial Intelligence, 25(1)\u201d.","DOI":"10.1016\/0004-3702(85)90042-6"},{"key":"CIT0018","doi-asserted-by":"crossref","unstructured":"Reiter, R. 1984. Edited by: Brodie, M. L. 191\u2013233. Springer Verlag. Towards a logical reconstruction of relational database theory. In: On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages","DOI":"10.1007\/978-1-4612-5196-5_8"},{"key":"CIT0019","doi-asserted-by":"crossref","unstructured":"Snodgrass, R. and Ahn, I. May 1985. Edited by: Navathe, S. May, 236\u2013246. Austin, TX: Association for Computer Machinery. A taxonomy of lime in databases. Proc. ACM SIGMOD Inter. Conf. on Management of Data","DOI":"10.1145\/971699.318921"},{"key":"CIT0020","unstructured":"Sripada, S. M. 1990. \u201cA basis for historical deductive databases. Internal Report, Dept. of Computing, Imperial College, March\u201d."},{"key":"CIT0021","doi-asserted-by":"crossref","unstructured":"Venema, Y. 1990. \u201cExpressiveness and completeness of an interval tense logic. Notre Dame Journal of Formal Logic, 31(4)\u201d.","DOI":"10.1305\/ndjfl\/1093635589"}],"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":[[2019,6,29]],"date-time":"2019-06-29T07:05:51Z","timestamp":1561791951000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1992.10510782"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,1]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1992,1]]}},"alternative-id":["10.1080\/11663081.1992.10510782"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1992.10510782","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,1]]}}}