{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:12:08Z","timestamp":1725631928036},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540517436"},{"type":"electronic","value":"9783642751004"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/978-3-642-75100-4_4","type":"book-chapter","created":{"date-parts":[[2011,11,9]],"date-time":"2011-11-09T18:09:29Z","timestamp":1320862169000},"page":"27-36","source":"Crossref","is-referenced-by-count":0,"title":["Context Logic - An Introduction"],"prefix":"10.1007","author":[{"given":"Hans J\u00fcrgen","family":"Ohlbach","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"P. Enjalbert, Y. Auffray. Modal Theorem Proving: An Equational Viewpoint Submitted to IJCAI89."},{"key":"4_CR2","unstructured":"L. Fari\u00f1as del Cerro, A. Herzig Quantified Modal Logic and Unification Theory Langages et Syst\u00e8mes Informatique, Universit\u00e9 Paul Sabatier, Toulouse. Rapport LSI n\u00b0 293, jan. 1988. See also L. Fari\u00f1as del Cerro, A. Herzig Linear Modal Deductions. Proc. of 9th Conference on Automated Deduction, pp. 487\u2013499, 1988."},{"key":"4_CR3","volume-title":"An Introduction to Modal Logics","author":"GE Hughes","year":"1986","unstructured":"G.E.Hughes, M.J.Cresswell. An Introduction to Modal Logics, Methuen amp; Co., London, 1986."},{"key":"4_CR4","volume-title":"A Completeness Theorem in Modal Logic","author":"S Kripke","year":"1959","unstructured":"S. Kripke. A Completeness Theorem in Modal Logic. J. of Symbolic Logic, 24, 1959."},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S Kripke","year":"1963","unstructured":"S. Kripke. Semantical analysis of modal logic I, normal propositional calculi. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, Vol. 9, 1963, pp 67\u201396.","journal-title":"Zeitschrift fur mathematische Logik und Grundlagen der Mathematik"},{"key":"4_CR6","volume-title":"Reasoning about Knowledge and Action","author":"RC Moore","year":"1980","unstructured":"R.C. Moore. Reasoning about Knowledge and Action. PhD Thesis, MIT, Cambridge 1980."},{"key":"4_CR7","volume-title":"A Resolution Calculus for Modal Logics Proc. of 9th CADE, LNCS 310, Springer Verlag, 1988 Thesis, FB. Informatik","author":"HJ Ohlbach","year":"1988","unstructured":"H. J. Ohlbach. A Resolution Calculus for Modal Logics Proc. of 9th CADE, LNCS 310, Springer Verlag, 1988 Thesis, FB. Informatik, University of Kaiserslautern, 1988."},{"key":"4_CR8","volume-title":"Context Logic","author":"HJ Ohlbach","year":"1989","unstructured":"H.J. Ohlbach. Context Logic. SEKI-report, SR\u201389\u201308, FB. Informatik, University of Kaiserslautern, 1989."},{"issue":"1","key":"4_CR9","first-page":"23","volume":"12","author":"JA Robinson","year":"1965","unstructured":"J. A. Robinson. A Machine Oriented Logic Based on the Resolution Principle J.ACM, Vol. 12, No 1, 1965, 23\u201341.","journal-title":"A Machine Oriented Logic Based on the Resolution Principle J.ACM"},{"key":"4_CR10","unstructured":"Robinson, G., Wos, L. Paramodulation and theorem provcing in first order theories with equality. Machine Intelligence 4, American Elsevier, New York, pp. 135\u2013150, 1969."},{"key":"4_CR11","volume-title":"Computational aspects of an order-sorted logic with term declarations","author":"M Schmidt-Schau\u00df","year":"1988","unstructured":"Schmidt-Schau\u00df, M. Computational aspects of an order-sorted logic with term declarations. Thesis, FB. Informatik, University of Kaiserslautern, 1988."}],"container-title":["Informatik-Fachberichte","GWAI-89 13th German Workshop on Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-75100-4_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T02:30:01Z","timestamp":1606271401000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-75100-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540517436","9783642751004"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-75100-4_4","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1989]]}}}