{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T08:10:02Z","timestamp":1737360602083,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422518"},{"type":"electronic","value":"9783540457381"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45738-0_13","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T15:40:39Z","timestamp":1186760439000},"page":"219-229","source":"Crossref","is-referenced-by-count":1,"title":["A Revision System of Circular Objects and Its Applications to Dynamic Semantics of Dialogues"],"prefix":"10.1007","author":[{"given":"Norihiro","family":"Ogata","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,18]]},"reference":[{"key":"13_CR1","volume-title":"Non-well-founded Sets","author":"P. Aczel","year":"1987","unstructured":"Aczel, P. Non-well-founded Sets. CSLI, Stanford, 1987."},{"key":"13_CR2","volume-title":"Situation in Logic","author":"J. Barwise","year":"1989","unstructured":"Barwise, J. Situation in Logic. CSLI, Stanford, 1989."},{"key":"13_CR3","volume-title":"The Liar","author":"J. Barwise","year":"1987","unstructured":"Barwise, J., and John Etchemendy. The Liar. Oxford University Press, Oxford, 1987."},{"key":"13_CR4","volume-title":"Exploring Logical Dynamics","author":"J. Benthem van","year":"1996","unstructured":"Benthem, J. van. Exploring Logical Dynamics. CLSI Publications, Stanford, 1996."},{"key":"13_CR5","volume-title":"Vicious Circles","author":"J. Barwise","year":"1996","unstructured":"Barwise, J., and L. Moss. Vicious Circles. CSLI, Stanford, 1996."},{"key":"13_CR6","first-page":"231","volume-title":"Logic Programming","author":"A. Colmerauer","year":"1982","unstructured":"Colmerauer, A. Prolog and infinite trees. In Clark, K. L., and S. A. T\u00e4rnlund, editors, Logic Programming, pages 231\u2013252. Academic Press, London, 1982."},{"key":"13_CR7","volume-title":"Introduction to Lattices and Order","author":"B. A. Davey","year":"1990","unstructured":"Davey, B. A., and H. A. Priestley. Introduction to Lattices and Order. Cambridge University Press, Cambridge, 1990."},{"key":"13_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., J. Y. Halpern, Y. Moses, and V. Y. Vardi. Reasoning about Knowledge. The MIT Press, Cambridge, 1995."},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00628304","volume":"14","author":"G. J","year":"1991","unstructured":"Groenendijk, J., and M. Stokhof. Dynamic predicate logic. Linguistics and Philosophy, 14:39\u2013100, 1991.","journal-title":"Linguistics and Philosophy"},{"key":"13_CR10","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/BFb0018433","volume-title":"Logics in AI: European Workshop JELIA\u2019 90","author":"J. Groenendijk","year":"1991","unstructured":"Groenendijk, J., and M. Stokhof. Two theories of dynamic semantics. In Jan van Eijck, editor, Logics in AI: European Workshop JELIA\u2019 90, pages 55\u201364. Springer Verlag, Berlin, 1991."},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/BF01048483","volume":"23","author":"W. Groeneveld","year":"1994","unstructured":"Groeneveld, W. Dynamic semantics and circular propositions. Journal of Philosophical Logic, 23:267\u2013306, 1994.","journal-title":"Journal of Philosophical Logic"},{"key":"13_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"W. J. Lloyd","year":"1987","unstructured":"Lloyd, W. J. Foundations of Logic Programming. Springer-Verlag, Berlin, second, extended edition, 1987.","edition":"second, extende"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45738-0_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T07:38:17Z","timestamp":1737358697000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45738-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422518","9783540457381"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-45738-0_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}