{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:09:36Z","timestamp":1761620976115},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441908"},{"type":"electronic","value":"9783540457572"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45757-7_18","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T13:50:39Z","timestamp":1192888239000},"page":"211-222","source":"Crossref","is-referenced-by-count":3,"title":["A Modal Formulation of McCain and Turner\u2019s Theory of Causal Reasoning"],"prefix":"10.1007","author":[{"given":"Graham","family":"White","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,20]]},"reference":[{"key":"18_CR1","unstructured":"Anthony G. Cohn, Lenhard Schubert, and Stuart C. Shapiro, editors. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR98). Morgan Kaufmann, 1998. Trento, Italy, June 1998."},{"key":"18_CR2","unstructured":"Tom Costello and Anna Patterson. Quantifiers and operations on modalities and contexts. In Cohn et al. [1], pages 270\u2013281. Trento, Italy, June 1998."},{"key":"18_CR3","unstructured":"J. Lambek and P.J. Scott. Introduction to Higher order Categorical Logic. Number 7 in Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1986."},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1016\/S0004-3702(97)00057-X","volume":"96","author":"V. Lifschitz","year":"1997","unstructured":"Vladimir Lifschitz. On the logic of causa1 explanation. Artificial Intelligence, 96:451\u2013465, 1997.","journal-title":"Artificial Intelligence"},{"key":"18_CR5","unstructured":"Vladimir Lifschitz. Situation calculus and causa1 logic. In Cohn et al. [l], pages 536\u2013546. Trento, Italy, June 1998."},{"key":"18_CR6","unstructured":"Norman McCain and Hudson Turner. Causa1 theories of action and change. In Proceedings of AAAI97, pages 460\u2013465, Providence, RI, 1997. AAAI."},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Peter Schroeder-Heister. Cut-elimination in logics with definitional reflection. In D. Pearce and H. Wansing, editors, Nonclassical Logics and Information Processing, volume 619 of Lecture Notes in Artificial Intelligence, pages 146\u2013171, Berlin, etc., 1992. Springer-Verlag. International Workshop, Berlin 1990.","DOI":"10.1007\/BFb0031929"},{"key":"18_CR8","volume-title":"Cambridge Tracts in Theoretical Computer Science","author":"A.S. Troelstra","year":"1996","unstructured":"A.S. Troelstra and H. Schwichtenberg. Basic Proof Theory. Number 43 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 1996."},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/S0004-3702(99)00058-2","volume":"113","author":"H. Turner","year":"1999","unstructured":"Hudson Turner. A theory of universal causation. Artificial Intelligence, 113:87\u2013123, 1999.","journal-title":"Artificial Intelligence"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Johan van Benthem. Correspondence theory. In D. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic II, volume 165 of Synthese Library, pages 167\u2013247. Reidel, Dordrecht, 1984.","DOI":"10.1007\/978-94-009-6259-0_4"},{"key":"18_CR11","unstructured":"G. Graham White. Intentionality and circumscription. In Salem Benferhat and Enrico Giunchiglia, editors, Proceedings of the 9th International Conference on Non-Monotonic Reasoning (NMR2002), pages 372\u2013379, 2002. Toulouse, April 2002."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45757-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T04:08:55Z","timestamp":1550981335000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45757-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441908","9783540457572"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45757-7_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}