{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:48Z","timestamp":1755220968465,"version":"3.43.0"},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1997,9,1]],"date-time":"1997-09-01T00:00:00Z","timestamp":873072000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,9,1]],"date-time":"1997-09-01T00:00:00Z","timestamp":873072000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1997,9]]},"DOI":"10.1023\/a:1004952317276","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:24:14Z","timestamp":1040484254000},"page":"179-216","source":"Crossref","is-referenced-by-count":4,"title":["Labelled Resolution for Classical and Non-classical Logics"],"prefix":"10.1007","volume":"59","author":[{"given":"D.M.","family":"Gabbay","sequence":"first","affiliation":[]},{"given":"U.","family":"Reyle","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"146493_CR1","doi-asserted-by":"crossref","unstructured":"Fitting, 1983, \u2018Proof Methods for Modal and Intuitionistic Logics\u2019, Synthese Library\n169","DOI":"10.1007\/978-94-017-2794-5"},{"key":"146493_CR2","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0743-1066(84)90029-3","volume":"1","author":"D. Gabbay","year":"1984","unstructured":"Gabbay, D., U. Reyle, 1984, \u2018N-Prolog: An Extension of Prolog with Hypothetical Implications I\u2019 in: Journal of Logic Programming\n1, 319\u2013355","journal-title":"Journal of Logic Programming"},{"key":"146493_CR3","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1080\/11663081.1993.10510797","volume":"3","author":"D. Gabbay","year":"1993","unstructured":"Gabbay, D., U. Reyle, 1993, \u2018Computation with Run-Time-Skolemization\u2019, in: Journal of Applied Non-Classical Logic\n3, 93\u2013134","journal-title":"Journal of Applied Non-Classical Logic"},{"key":"146493_CR4","first-page":"345","volume":"17","author":"D. Gabbay","year":"1989","unstructured":"Gabbay, D., U. Reyle, 1989, \u2018Direct Deductive Computation on Discourse Representation Structures\u2019, in Linguistics and Philosophy\n17, 345\u2013390","journal-title":"Linguistics and Philosophy"},{"key":"146493_CR5","unstructured":"Gabbay, D., 1990, Labelled Deductive Systems. Principles and Applications. Vol 1: Basic Principles, Oxford University Press, in press."},{"key":"146493_CR6","doi-asserted-by":"crossref","unstructured":"Gabbay, D., 1996, \u2018Fibred Semantics and the Weaving of Logics, Part 1: Modal and Intuitionistic logic\u2019, To appear in Journal of Symbolic Logic.","DOI":"10.1007\/978-94-009-0349-4_1"},{"key":"146493_CR7","doi-asserted-by":"crossref","unstructured":"Gabbay, D., 1996, \u2018An Overview of Fibred Semantics and The Combination of Logics\u2019, To appear in Proceedings of Frontiers of Combining Systems FroCoS'96, K. Schulz and F. Baader, Editors.","DOI":"10.1007\/978-94-009-0349-4_1"},{"key":"146493_CR8","doi-asserted-by":"crossref","unstructured":"Kamp, H., U. Reyle, 1993, From Discourse to Logic, Vol I, Kluw","DOI":"10.1007\/978-94-017-1616-1"},{"key":"146493_CR9","doi-asserted-by":"crossref","unstructured":"Kripke, S., 1965, \u2018Semantic Analysis for Intuitionistic Logic I\u2019, in Crossley, J. A., Dummett, M. A. E. (eds.): Formal Systems and Recursive Functions, North Holland, 92\u2013129.","DOI":"10.1016\/S0049-237X(08)71685-9"},{"key":"146493_CR10","unstructured":"Simpson, A. K., 1994, The Proof Theory and Semantics of Intuitionistic Modal Logic, PhD Thesis, Department of Computer Science, University of Edinburgh."},{"key":"146493_CR11","volume-title":"Modal Logics as Labelled Deductive Systems","author":"A. Russo","year":"1996","unstructured":"Russo, A., 1996, Modal Logics as Labelled Deductive Systems, PhD Thesis, Imperial College, London, 1996"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004952317276.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004952317276\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004952317276.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:30:43Z","timestamp":1754631043000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004952317276"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,9]]},"references-count":11,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,9]]}},"alternative-id":["146493"],"URL":"https:\/\/doi.org\/10.1023\/a:1004952317276","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1997,9]]}}}