{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:22Z","timestamp":1761611242821},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1986,3,1]],"date-time":"1986-03-01T00:00:00Z","timestamp":510019200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1986,3]]},"DOI":"10.1007\/bf03037381","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T02:40:51Z","timestamp":1240540851000},"page":"35-50","source":"Crossref","is-referenced-by-count":73,"title":["MOLOG: A system that extends PROLOG with modal logic"],"prefix":"10.1007","volume":"4","author":[{"given":"Luis","family":"Fari\u00f1as Del Cerro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037381_CR1","doi-asserted-by":"crossref","unstructured":"Aiello, L. and Weyhrauch, R. W., \u201cUsing Meta-theoric Reasoning to do Algebra,\u201dProc. of the 5th Automated Deduction Conf., Les Ares, 1980.","DOI":"10.1007\/3-540-10009-1_1"},{"key":"BF03037381_CR2","volume-title":"The improvability of inconsistance","author":"G. Boolos","year":"1979","unstructured":"Boolos, G.,The improvability of inconsistance, Cambridge Univ. Press, London, 1979."},{"key":"BF03037381_CR3","first-page":"153","volume-title":"Logic Programming","author":"K. Bowen","year":"1982","unstructured":"Bowen, K. and Kowalski, R., \u201cAmalgamating language and metalanguage in logic programming,\u201d inLogic Programming (K. Clark and S.-\u00c5. T\u00e4rnlund, eds.), Academic Press, New York, pp. 153\u2013172, 1982."},{"key":"BF03037381_CR4","unstructured":"Carnap, R., \u201cModalities and quantification,\u201dJ. S. L., Vol. 1 No. 12, 1946."},{"key":"BF03037381_CR5","unstructured":"Clark, K. and Greory, S., \u201cNotes on systems programming in PARLOG,\u201dProc. of the Int. Conf. on Fifth Generation Computer Systems 1984 (ICOT, ed.), Tokyo, pp. 299\u2013306, 1984."},{"key":"BF03037381_CR6","unstructured":"Colmerauer, A., \u201cMetamorphosis grammars,\u201d inNatural language communication with computer (L. Bolc, ed.), Springer-Verlag, 1978."},{"key":"BF03037381_CR7","unstructured":"Dinebas, M., \u201cThe metalog problem solving system: an informal presentation,\u201dProc. of Logic Programming Workshop, Bebrean, pp. 80\u201391, July, 1980."},{"key":"BF03037381_CR8","doi-asserted-by":"crossref","unstructured":"Fari\u00f1as del Cerro, L., \u201cA simple deduction method for modal logic,\u201d inInformation Processing Letters, Vol. 14, No. 2, 1982.","DOI":"10.1016\/0020-0190(82)90085-0"},{"key":"BF03037381_CR9","doi-asserted-by":"crossref","unstructured":"Fari\u00f1as del Cerro, L., \u201cResolution Modal logics\u2014Automated reasoning in nonclassical logic,\u201dLogique et Analyse (L. Fari\u00f1as del Cerro and E. Orlowska, eds.), Sept., 1985.","DOI":"10.1007\/978-3-642-82453-1_2"},{"key":"BF03037381_CR10","doi-asserted-by":"crossref","unstructured":"Gabbay, D. and Reyle, U., \u201cN-Prolog: An extension of Prolog with hypothetical implication,\u201dImperial College Report, July, 1984.","DOI":"10.1016\/0743-1066(84)90029-3"},{"key":"BF03037381_CR11","unstructured":"Konolige, K., \u201cA Deduction Model of Belief and its Logics,\u201dPh.D. Thesis, Stanford University, 1984."},{"key":"BF03037381_CR12","unstructured":"Kowalski, R., \u201cPredicate logic as programming language,\u201dProc. of IFIP pp. 569\u2013574, 1984."},{"key":"BF03037381_CR13","doi-asserted-by":"crossref","unstructured":"Malachi, Y., Manna, Z. and Waldinger, R., \u201cTablog: The deductive tableau programming language,\u201dProc. ACM LISP and Functional Programming Conf., 1984.","DOI":"10.1145\/800055.802049"},{"issue":"No. 2","key":"BF03037381_CR14","doi-asserted-by":"crossref","first-page":"235","DOI":"10.3233\/FI-1980-3209","volume":"III","author":"E. Orlowska","year":"1980","unstructured":"Orlowska, E., \u201cResolution systems and their applications I & II,\u201dFundamenta Informaticae, Vol. III, No. 2, pp. 235\u2013267 & 333\u2013362, 1980.","journal-title":"Fundamenta Informaticae"},{"key":"BF03037381_CR15","unstructured":"Warren, D. S., \u201cDatabase update in pure Prolog,\u201dProc. of the Int. Conf. on Fifth Generation Computer Systems (ICOT, ed.), Tokyo, p. 244\u2013253, 1984."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037381.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037381\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037381","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,4]],"date-time":"2021-10-04T12:50:11Z","timestamp":1633351811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037381"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,3]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1986,3]]}},"alternative-id":["BF03037381"],"URL":"https:\/\/doi.org\/10.1007\/bf03037381","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,3]]}}}