{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:51:00Z","timestamp":1725666660996},"publisher-location":"London","reference-count":15,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197836"},{"type":"electronic","value":"9781447134213"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3421-3_13","type":"book-chapter","created":{"date-parts":[[2012,3,8]],"date-time":"2012-03-08T07:42:32Z","timestamp":1331192552000},"page":"218-252","source":"Crossref","is-referenced-by-count":3,"title":["From a Hilbert Calculus to its Model Theoretic Semantics"],"prefix":"10.1007","author":[{"given":"Dov","family":"Gabbay","sequence":"first","affiliation":[]},{"given":"Hans J\u00fcrgen","family":"Ohlbach","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/BF01448035","volume":"110","author":"W Ackermann","year":"1935","unstructured":"Wilhelm Ackermann. Untersuchung \u00fcber das Eliminationsproblem der mathematischen Logik. Mathematische Annalen, 110:390\u2013413, 1935.","journal-title":"Mathematische Annalen"},{"key":"13_CR2","volume-title":"Solvable Cases of the Decision Problem","author":"W Ackermann","year":"1954","unstructured":"W. Ackermann. Solvable Cases of the Decision Problem. North-Holland Pu. Co., 1954."},{"key":"13_CR3","series-title":"To appear in Proc. ALP\u201992, Lecture Notes in Comp. Science","volume-title":"Theorem proving for hierarchic first-order theories","author":"L Bachmair","year":"1992","unstructured":"Leo Bachmair, Harald Ganzinger, and Uwe Waldmann. Theorem proving for hierarchic first-order theories, 1992. To appear in Proc. ALP\u201992, Lecture Notes in Comp. Science."},{"key":"13_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"BF Chellas","year":"1980","unstructured":"B. F. Chellas. Modal Logic: An Introduction. Cambridge University Press, Cambridge, 1980."},{"key":"13_CR5","volume-title":"Proc. of KR92. Morgan Kaufmann","author":"DM Gabbay","year":"1992","unstructured":"Dov M. Gabbay and Hans J\u00fcrgen Ohlbach. Quantifier elimination for second order predicate logic. In Proc. of KR92. Morgan Kaufmann, 1992."},{"key":"13_CR6","volume-title":"An Introduction to Modal Logic","author":"GE Hughes","year":"1968","unstructured":"G.E. Hughes and M.J. Cresswell. An Introduction to Modal Logic. Routledge, London, New York, 1968."},{"key":"13_CR7","first-page":"167","volume-title":"Infinistic Methods","author":"L Henkin","year":"1961","unstructured":"L. Henkin. Some remarks on infinitely long formulas. In Infinistic Methods, pages 167\u2013183. Pergamon Press, Oxford, 1961."},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"663","DOI":"10.1007\/3-540-52885-7_131","volume-title":"Proc. of 10 th Internation Conference on Automated Deduction, LNAI 449","author":"W McCune","year":"1990","unstructured":"William McCune. Otter 2.0. In Mark Stickel, editor, Proc. of 10\n                    th\n                  \n                  Internation Conference on Automated Deduction, LNAI 449, pages 663\u2013664. Springer Verlag, 1990."},{"key":"13_CR9","volume-title":"Proc. of CADE 92","author":"W McCune","year":"1992","unstructured":"William McCune and Larry Wos. Experiments in automated deduction with condensed detachment. In Deepak Kapur, editor, Proc. of CADE 92, 1992."},{"issue":"5","key":"13_CR10","doi-asserted-by":"publisher","first-page":"691","DOI":"10.1093\/logcom\/1.5.691","volume":"1","author":"HJ Ohlbach","year":"1991","unstructured":"Hans J\u00fcrgen Ohlbach. Semantics based translation methods for modal logics. Journal of Logic and Computation, 1(5):691\u2013746, 1991.","journal-title":"Journal of Logic and Computation"},{"key":"13_CR11","first-page":"41","volume-title":"Computational Logic, Essays in Honor of Alan Robinson","author":"HJ Ohlbach","year":"1991","unstructured":"Hans J\u00fcrgen Ohlbach and J\u00f6rg H. Siekmann. The Markgraf Karl refutation procedure. In Jean Luis Lassez and Gordon Plotkin, editors, Computational Logic, Essays in Honor of Alan Robinson, pages 41\u2013112. MIT Press, 1991."},{"key":"13_CR12","unstructured":"Richard Routley and Robert Meyer. Every Sentential Logic has a two valued semantics. Logique et Analyse n.s. vol. 19, pages345\u2013365."},{"key":"13_CR13","volume-title":"An algorithm for eliminating predicate variables from \u03c01 1 sentences","author":"H Simmons","year":"1992","unstructured":"Harold Simmons. An algorithm for eliminating predicate variables from \u03c01\n                  1 sentences, 1992."},{"key":"13_CR14","volume-title":"On correspondence between modal and classical logic: Automated approach. Technical Report MPI-I-92\u2013209","author":"A Szalas","year":"1992","unstructured":"Andrzej Szalas. On correspondence between modal and classical logic: Automated approach. Technical Report MPI-I-92\u2013209, Max Planck Institut f\u00fcr Informatik, Saarbr\u00fccken, march 1992."},{"key":"13_CR15","series-title":"Correspondence Theory","first-page":"203","volume-title":"Handbook of Philosophical Logic, volume II, Extensions of Classical Logic of Synthese Library Vo. 165","author":"JBD Gabbay van","year":"1984","unstructured":"Johan van Benthem. D. Gabbay, F. Guenthner: Handbook of Philosophical Logic, volume II, Extensions of Classical Logic of Synthese Library Vo. 165, chapter Correspondence Theory, page203. D. Reidel Publishing Company, Dordrecht, 1984."}],"container-title":["Workshops in Computing","ALPUK92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3421-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T12:13:45Z","timestamp":1556453625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3421-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540197836","9781447134213"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3421-3_13","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}