{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:23:31Z","timestamp":1725488611294},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540671909"},{"type":"electronic","value":"9783540465089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46508-1_16","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T16:02:03Z","timestamp":1186156923000},"page":"236-250","source":"Crossref","is-referenced-by-count":0,"title":["Effective Properties of Some First Order Intuitionistic Modal Logics"],"prefix":"10.1007","author":[{"given":"Aida","family":"Pliu\u0161kevi\u010dien\u0117","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,5,17]]},"reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"27","DOI":"10.2307\/2964334","volume":"25","author":"R. Harrop","year":"1960","unstructured":"Harrop, R.: Concerning formulas of the types A \u2192 B \u2228 C, A \u2192 (Ex)B(x) in intuitionistic formal systems. Journal of Symbolic Logic\n                           25 (1960) 27\u201332.","journal-title":"Journal of Symbolic Logic"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"201","DOI":"10.2307\/2273727","volume":"44","author":"K. Fine","year":"1979","unstructured":"Fine, K.: Failures of the interpolation lemma in quantified modal logic. Journal of Symbolic Logic\n                           44 (1979) 201\u2013206.","journal-title":"Journal of Symbolic Logic"},{"key":"16_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logics","author":"M.C. Fitting","year":"1983","unstructured":"Fitting, M.C.: Proof Methods for Modal and Intuitionistic Logics. D. Reidel, Dordrecht (1983)."},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"269","DOI":"10.2307\/2272129","volume":"42","author":"D. Gabbay","year":"1977","unstructured":"Gabbay, D.: Craig interpolation theorem for intuitionistic logic and extensions, Part III. Journal of Symbolic Logic\n                           42 (1977) 269\u2013271.","journal-title":"Journal of Symbolic Logic"},{"key":"16_CR5","unstructured":"Kanger, S.G.: Provability in logic, Vol. 1. Acta Univ. Stock., Stockholm Studies in Philosophy (1957)."},{"key":"16_CR6","volume-title":"Introduction to Metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics. North-Holland, Amsterdam (1952)."},{"key":"16_CR7","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01268617","volume":"35","author":"C. Luppi","year":"1996","unstructured":"Luppi, C.: On the interpolation property of some intuitionistic modal logics. Arch. Math. Logic\n                           35 (1996) 173\u2013189.","journal-title":"Arch. Math. Logic"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Mints, G.: Resolution Strategies for the Intuitionistic Logic. Constraint Programming, NATO ASI Series, Springer Verlag (1994) 289\u2013311.","DOI":"10.1007\/978-3-642-85983-0_11"},{"key":"16_CR9","first-page":"33","volume":"15","author":"T. Nakamura","year":"1983","unstructured":"Nakamura, T.: Disjunction property for some intermediate predicate logics. Reports on Mathematical Logic\n                           15 (1983) 33\u201339.","journal-title":"Reports on Mathematical Logic"},{"key":"16_CR10","doi-asserted-by":"crossref","first-page":"687","DOI":"10.2977\/prims\/1195189604","volume":"13","author":"H. Ono","year":"1977","unstructured":"Ono, H.: On some intuitionisticmodal logics. Publ. R.I.M.S. Kyoto Univ.\n                           13 (1977) 687\u2013722.","journal-title":"Publ. R.I.M.S. Kyoto Univ."},{"key":"16_CR11","unstructured":"Pliu\u0161kevi\u010dien\u0117 A.: Cut-free indexed calculi for modal logics containing the Barcan axiom. In: M. Kracht et al. (eds.): Advances in Modal Logic\u2019 96. CSLJ Publications (1997) 155\u2013170."},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"775","DOI":"10.1093\/jigpal\/6.5.775","volume":"6","author":"A. Pliu\u0161kevi\u010dien\u0117","year":"1998","unstructured":"Pliu\u0161kevi\u010dien\u0117 A.: Extended disjunction and existence properties for some predicate modal logics. Logic Journal of the IGPL\n                           6 (1998) 775\u2013787.","journal-title":"Logic Journal of the IGPL"},{"key":"16_CR13","volume-title":"Proof Theory","author":"G. Takeuti","year":"1975","unstructured":"Takeuti G.: Proof Theory. North-Holland, Amsterdam, American Elsevier, inc, New-York (1975)."},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1093\/jigpal\/3.5.797","volume":"3","author":"H. Wansing","year":"1995","unstructured":"Wansing H.: Strong cut-elimination for constant domain first-order S5. Logic Journal of the IGPL\n                           3 (1995) 797\u2013810.","journal-title":"Logic Journal of the IGPL"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/BF02672476","volume":"36","author":"F. Wolter","year":"1997","unstructured":"Wolter, F., Zakharyaschev, M.: On the relation between intuitionistic and classical modal logics. Algebra and Logic\n                           36 (1997) 121\u2013155.","journal-title":"Algebra and Logic"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction in Classical and Non-Classical Logics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46508-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T17:50:37Z","timestamp":1550425837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46508-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540671909","9783540465089"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-46508-1_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}