{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:02:49Z","timestamp":1725483769490},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679011"},{"type":"electronic","value":"9783540446125"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44612-5_51","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T09:28:20Z","timestamp":1178357300000},"page":"559-568","source":"Crossref","is-referenced-by-count":0,"title":["Derivability in Locally Quantified Modal Logics via Translation in Set Theory"],"prefix":"10.1007","author":[{"given":"Angelo","family":"Montanari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Policriti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matteo","family":"Slanina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"51_CR1","series-title":"CSLI Lecture Notes","volume-title":"Non-Well-Founded Sets","author":"P. Aczel","year":"1988","unstructured":"P. Aczel. Non-Well-Founded Sets. Number 14 in CSLI Lecture Notes. CSLI, Stanford, California, 1988."},{"issue":"2","key":"51_CR2","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1093\/logcom\/7.2.251","volume":"7","author":"J. Benthem van","year":"1997","unstructured":"J. van Benthem, G. D\u2019Agostino, A. Montanari, and A. Policriti. Modal deduction in second-order logic and set theory \u2014 I. Journal of Logic and Computation, 7(2):251\u2013265, 1997.","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"51_CR3","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1023\/A:1005037512998","volume":"60","author":"J. Benthem van","year":"1998","unstructured":"J. van Benthem, G. D\u2019Agostino, A. Montanari, and A. Policriti. Modal deduction in second-order logic and set theory \u2014 II. Studia Logica, 60(3):387\u2013420, 1998.","journal-title":"Studia Logica"},{"issue":"3","key":"51_CR4","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/BF00881803","volume":"15","author":"G. D\u2019Agostino","year":"1995","unstructured":"G. D\u2019Agostino, A. Montanari, and A. Policriti. A set-theoretic translation method for polymodal logics. Journal of Automated Reasoning, 15(3):314\u2013337, 1995.","journal-title":"Journal of Automated Reasoning"},{"key":"51_CR5","first-page":"395","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"M. Fitting","year":"1993","unstructured":"M. Fitting. Basic modal logic. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume I, pages 395\u2013448. Oxford University Press, Oxford, 1993."},{"key":"51_CR6","first-page":"35","volume":"7","author":"D. M. Gabbay","year":"1992","unstructured":"D. M. Gabbay and H. J. Ohlbach. Quantifier elimination in second-order predicate logic. South African Computer Journal, 7:35\u201343, 1992.","journal-title":"South African Computer Journal"},{"key":"51_CR7","doi-asserted-by":"crossref","unstructured":"J. W. Garson. Quantification in modal logic. In D. M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume II, pages 249\u2013307. Reidel, Dordrecht, The Netherlands, 1984.","DOI":"10.1007\/978-94-009-6259-0_5"},{"key":"51_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Systems: Safety","author":"Z. Manna","year":"1995","unstructured":"Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer, Berlin, 1995."},{"key":"51_CR9","unstructured":"A. Montanari and A. Policriti. A set-theoretic approach to automated deduction in graded modal logics. In M. E. Pollack, editor, Proceedings of the 15th IJCAI, pages 196\u2013201. Morgan Kaufmann, 1997."},{"key":"51_CR10","unstructured":"A. Montanari, A. Policriti, and Slanina M. Supporting automated deduction in first-order modal logics. In A. G. Cohn, F. Giunchiglia, and B. Selman, editors, Proceedings of the 7th KR, pages 547\u2013556. Morgan Kaufmann, 2000."},{"key":"51_CR11","unstructured":"A. Nonnengart. First-order modal logic theorem proving and functional simulation. In R. Bajcsy, editor, Proceedings of the 13th IJCAI, pages 80\u201385. Morgan Kaufmann, 1993."},{"issue":"1","key":"51_CR12","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1093\/jigpal\/1.1.69","volume":"1","author":"H. J. Ohlbach","year":"1993","unstructured":"H. J. Ohlbach. Translation methods for non-classical logics \u2014 An overview. Bulletin of the IGPL, 1(1):69\u201389, 1993.","journal-title":"Bulletin of the IGPL"},{"key":"51_CR13","doi-asserted-by":"crossref","unstructured":"H. J. Ohlbach. Combining hilbert style and semantic reasoning in a resolution framework. In C. Kirchner and H. Kirchner, editors, Proceedings of CADE-15, volume 1421 of Lecture Notes in Artificial Intelligence, pages 205\u2013219. Springer, 1998.","DOI":"10.1007\/BFb0054261"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44612-5_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T10:20:29Z","timestamp":1550312429000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44612-5_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679011","9783540446125"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-44612-5_51","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}