{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:42:05Z","timestamp":1747546925806,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662464"},{"type":"electronic","value":"9783540484837"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48483-3_19","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:32Z","timestamp":1269897212000},"page":"293-309","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The Situation and State Calculus versus Branching Temporal Logic"],"prefix":"10.1007","author":[{"given":"Jaime","family":"Ramos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Am\u00edlcar","family":"Sernadas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,27]]},"reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"566","DOI":"10.2307\/2273296","volume":"44","author":"J. P. Burgess","year":"1979","unstructured":"J. P. Burgess. Logic and time. Journal of Symbolic Logic, 44:566\u2013582, 1979.","journal-title":"Journal of Symbolic Logic"},{"key":"19_CR2","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, New York, N.Y., 1985."},{"key":"19_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/3-540-50325-0_3","volume-title":"Proceedings of the 5th Workshop on Recent Trends in Data Type Specification","author":"J. Fiadeiro","year":"1988","unstructured":"J. Fiadeiro and A. Sernadas. Structuring theories on consequence. In D. Sannella and A. Tarlecki, editors, Proceedings of the 5th Workshop on Recent Trends in Data Type Specification, volume 332 of LNCS, pages 44\u201372, Berlin, 1988. Springer."},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-94-011-3488-0_8","volume-title":"Automated Reasoning: Essays in Honor of Woody Bledsoe","author":"M. Gelfond","year":"1991","unstructured":"M. Gelfond, V. Lifschitz, and A. Rabinov. What are the limitations of the situation calculus? In Robert Boyer, editor, Automated Reasoning: Essays in Honor of Woody Bledsoe, pages 167\u2013179. Kluwer Academic, Dordrecht, 1991."},{"key":"19_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/3-540-12896-4_366","volume-title":"Logics of Programs: Workshop, Carnegie Mellon University, June 1983","author":"J. Goguen","year":"1984","unstructured":"J. Goguen and R. M. Burstall. Introducing institutions. In E. Clarke and D. Kozen, editors, Logics of Programs: Workshop, Carnegie Mellon University, June 1983, volume 164 of LNCS, pages 221\u2013256. Springer-Verlag, New York, N.Y., 1984."},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0004-3702(89)90059-3","volume":"38","author":"V. Lifschitz","year":"1989","unstructured":"V. Lifschitz and A. Rabinov. Miracles in formal theories of action. Articial Intelligence, 38:225\u2013237, 1989.","journal-title":"Articial Intelligence"},{"key":"19_CR7","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0304-3975(91)90041-Y","volume":"93","author":"Z. Manna","year":"1991","unstructured":"Z. Manna and A. Pnueli. Completing the temporal picture. Theoretical Computer Science, 93:97\u2013130, 1991.","journal-title":"Theoretical Computer Science"},{"key":"19_CR8","first-page":"463","volume-title":"Machine Intelligence","author":"J. McCarthy","year":"1969","unstructured":"J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463\u2013502. Edinburgh University Press, Scotland, 1969."},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"J. Meseguer. General logics. In H.-D. Ebbinghaus et al, editor, Proc. Logic Colloquium\u2019 87. North-Holland, 1989.","DOI":"10.1016\/S0049-237X(08)70132-0"},{"issue":"5","key":"19_CR10","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1093\/logcom\/4.5.513","volume":"4","author":"R. Miller","year":"1994","unstructured":"R. Miller and M. Shanahan. Narratives in the situation calculus. Journal of Logic and Computation \u2014 Special Issue on Actions and Processes, 4(5):513\u2013530, 1994.","journal-title":"Journal of Logic and Computation \u2014 Special Issue on Actions and Processes"},{"issue":"2\u20134","key":"19_CR11","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF01530822","volume":"14","author":"J. Pinto","year":"1995","unstructured":"J. Pinto and R. Reiter. Reasoning about time in the situation calculus. Annals of Mathematics and Artificial Intelligence: Papers in Honour of Jack Minker, 14(2\u20134):251\u2013268, 1995.","journal-title":"Annals of Mathematics and Artificial Intelligence: Papers in Honour of Jack Minker"},{"key":"19_CR12","unstructured":"J. Ramos. The situation and state calculus. In A. Drewery, G.-J. Kruijff and R. Zuber, editors, Proceedings of the Second ESSLLI Student Session, 1997."},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/B978-0-12-450010-5.50026-8","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"R. Reiter","year":"1991","unstructured":"R. Reiter. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359\u2013380. Academic Press, San Diego, CA, 1991."},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0004-3702(93)90109-O","volume":"64","author":"R. Reiter","year":"1993","unstructured":"R. Reiter. Proving properties of states in the situation calculus. Articial Intelligence, 64:337\u2013351, 1993.","journal-title":"Articial Intelligence"},{"key":"19_CR15","first-page":"7","volume":"1","author":"A. Sernadas","year":"1995","unstructured":"A. Sernadas, C. Sernadas, and J. Costa. Object specification logic. Journal of Logic and Computation, 1:7\u201325, 1995.","journal-title":"Journal of Logic and Computation"},{"key":"19_CR16","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0169-023X(96)00004-3","volume":"19","author":"A. Sernadas","year":"1996","unstructured":"A. Sernadas, C. Sernadas, and J. Ramos. A temporal logic approach to object certification. Data and Knowledge Engineering, 19:267\u2013294, 1996.","journal-title":"Data and Knowledge Engineering"},{"key":"19_CR17","unstructured":"C. Stirling. Modal and temporal logics. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science. Volume 2. Background: Computational Structures, pages 477\u2013563. Oxford University Press, 1992."},{"key":"19_CR18","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-94-009-6259-0_4","volume-title":"Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic","author":"J. van Benthem","year":"1984","unstructured":"J. van Benthem. Correspondence theory. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic, volume 165 of Synthese Library, chapter II.4, pages 167\u2013247. D. Reidel Publ. Co., Dordrecht, 1984."},{"issue":"1","key":"19_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2275595","volume":"61","author":"A. Zanardo","year":"1996","unstructured":"A. Zanardo. Branching-time logic with quantification over branches: The point of view of modal logic. Journal of Symbolic Logic, 61(1):1\u201339, 1996.","journal-title":"Journal of Symbolic Logic"},{"key":"19_CR20","unstructured":"A. Zanardo, B. Barcellan, and M. Reynolds. Non-denability of the class of complete bundled trees. The Logic Journal of IGPL. To appear."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48483-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,12]],"date-time":"2021-03-12T02:04:39Z","timestamp":1615514679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48483-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662464","9783540484837"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-48483-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"27 May 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}