{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:25:16Z","timestamp":1761596716547},"reference-count":33,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1994,10,1]],"date-time":"1994-10-01T00:00:00Z","timestamp":780969600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":6866,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[1994,10]]},"DOI":"10.1016\/0743-1066(94)90001-9","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T23:47:32Z","timestamp":1027640852000},"page":"59-94","source":"Crossref","is-referenced-by-count":14,"title":["Structuring logic programs: a modal approach"],"prefix":"10.1016","volume":"21","author":[{"given":"Laura","family":"Giordano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0743-1066(94)90001-9_BIB1","first-page":"172","article-title":"Modal theorem proving","volume":"230","author":"Abadi","year":"1986"},{"key":"10.1016\/0743-1066(94)90001-9_BIB2","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0747-7171(89)80070-7","article-title":"Temporal logic programming","volume":"8","author":"Abadi","year":"1989","journal-title":"J. Symbolic Comput."},{"key":"10.1016\/0743-1066(94)90001-9_BIB3","first-page":"473","article-title":"A multimodal logic to define modules in logic programming","author":"Baldoni","year":"1993","journal-title":"Proc. ILPS'93 Int. Logic Programming Symposium"},{"key":"10.1016\/0743-1066(94)90001-9_BIB4","first-page":"831","article-title":"Expressing database queries with intuitionistic logic","author":"Bonner","year":"1989"},{"key":"10.1016\/0743-1066(94)90001-9_BIB5","first-page":"153","article-title":"Amalgamating language and metalanguage in logic programming","author":"Bowen","year":"1982"},{"key":"10.1016\/0743-1066(94)90001-9_BIB6","first-page":"105","article-title":"Inheritance and hypothetical reasoning in logic programming","author":"Brogi","year":"1990","journal-title":"Proc. European Conference on Artificial Intelligence"},{"key":"10.1016\/0743-1066(94)90001-9_BIB7","article-title":"A General Framework for Structuring Logic Programs","author":"Brogi","year":"1990"},{"key":"10.1016\/0743-1066(94)90001-9_BIB8","article-title":"Meta for modularising logic programming","author":"Brogi","year":"1992","journal-title":"Proc. META92"},{"key":"10.1016\/0743-1066(94)90001-9_BIB9","first-page":"24","article-title":"A theory of modules based on second order logic","author":"Chen","year":"1987","journal-title":"Proc. Symp. on Logic Programming"},{"key":"10.1016\/0743-1066(94)90001-9_BIB10","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF03037381","article-title":"MOLOG: A system that extends Prolog with modal logic","volume":"4","author":"Fari\u00f1as","year":"1986","journal-title":"New Generation Comput."},{"key":"10.1016\/0743-1066(94)90001-9_BIB11","article-title":"Metaprogramming through intensional deduction: some examples","author":"Fari\u00f1as","year":"1992","journal-title":"Proc. META92"},{"issue":"4","key":"10.1016\/0743-1066(94)90001-9_BIB12","doi-asserted-by":"crossref","first-page":"613","DOI":"10.2307\/2271986","article-title":"Model existence theorems for modal and intuitionistic logics","volume":"38","author":"Fitting","year":"1973","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/0743-1066(94)90001-9_BIB13","volume":"Vol. 169","author":"Fitting","year":"1983"},{"issue":"4","key":"10.1016\/0743-1066(94)90001-9_BIB14","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0743-1066(84)90029-3","article-title":"N_Prolog: An extension of Prolog with hypothetical implications. I.","volume":"1","author":"Gabbay","year":"1984","journal-title":"J. Logic Program."},{"issue":"4","key":"10.1016\/0743-1066(94)90001-9_BIB15","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0743-1066(85)80003-0","article-title":"N_Prolog: An extension of Prolog with hypothetical implications. II.","volume":"2","author":"Gabbay","year":"1985","journal-title":"J. Logic Program."},{"key":"10.1016\/0743-1066(94)90001-9_BIB16","first-page":"249","article-title":"Quantification in modal logic","volume":"vol. II","author":"Garson","year":"1984"},{"key":"10.1016\/0743-1066(94)90001-9_BIB17","first-page":"389","article-title":"Local definitions with static scope rules in logic programming","author":"Giordano","year":"1988","journal-title":"Proc. Int. Conf. on Fifth Generation Computer Systems"},{"key":"10.1016\/0743-1066(94)90001-9_BIB18","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0304-3975(92)90066-O","article-title":"Extending Horn clause logic with implication goals","volume":"95","author":"Giordano","year":"1992","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/0743-1066(94)90001-9_BIB19","first-page":"239","article-title":"A modal reconstruction of blocks and modules in logic programming","author":"Giordano","year":"1991","journal-title":"Proc. 1991 Int. Logic Programming Symposium"},{"key":"10.1016\/0743-1066(94)90001-9_BIB20","author":"Hughes","year":"1968"},{"key":"10.1016\/0743-1066(94)90001-9_BIB21","first-page":"1006","article-title":"An algebra of logic programs","author":"Mancarella","year":"1988","journal-title":"Proc. Fifth Int. Conf. of Logic Programming"},{"key":"10.1016\/0743-1066(94)90001-9_BIB22","article-title":"Logic and Objects: Language, Applications and Implementation","author":"McCabe","year":"1988"},{"issue":"1","key":"10.1016\/0743-1066(94)90001-9_BIB23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0743-1066(88)90005-2","article-title":"Clausal intuitionistic logic. I. Fixed-point semantics","volume":"5","author":"McCarty","year":"1988","journal-title":"J. Logic Program."},{"issue":"2","key":"10.1016\/0743-1066(94)90001-9_BIB24","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0743-1066(88)90014-3","article-title":"Clausal intuitionistic logic. II. Tableau proof procedure","volume":"5","author":"McCarty","year":"1988","journal-title":"J. Logic Program."},{"key":"10.1016\/0743-1066(94)90001-9_BIB25","first-page":"106","article-title":"A theory of modules for logic programming","author":"Miller","year":"1986"},{"key":"10.1016\/0743-1066(94)90001-9_BIB26","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0743-1066(89)90031-9","article-title":"A logical analysis of modules in logic programming","volume":"6","author":"Miller","year":"1989","journal-title":"J. Logic Program."},{"key":"10.1016\/0743-1066(94)90001-9_BIB27","first-page":"268","article-title":"Lexical scoping as universal quantification","author":"Miller","year":"1989","journal-title":"Proc. 6th Int. Conf. on Logic Programming"},{"key":"10.1016\/0743-1066(94)90001-9_BIB28","first-page":"322","article-title":"Abstract syntax and logic programming","volume":"592","author":"Miller","year":"1992"},{"key":"10.1016\/0743-1066(94)90001-9_BIB29","first-page":"284","article-title":"Contextual logic programming","author":"Monteiro","year":"1989","journal-title":"Proc. 6th Int. Conf. on Logic Programming"},{"key":"10.1016\/0743-1066(94)90001-9_BIB30","first-page":"349","article-title":"Lexical logic programs","author":"Moscowitz","year":"1991","journal-title":"Proc. 8th Int. Conf. on Logic Programming"},{"key":"10.1016\/0743-1066(94)90001-9_BIB31","first-page":"60","article-title":"Ions and local definitions in logic programming","volume":"210","author":"Nait Abdallah","year":"1986"},{"key":"10.1016\/0743-1066(94)90001-9_BIB32","first-page":"152","article-title":"Towards an algebra for constructing logic programs","author":"O'Keefe","year":"1985","journal-title":"Proc. Symp. on Logic Programming"},{"key":"10.1016\/0743-1066(94)90001-9_BIB33","first-page":"244","article-title":"Database updates in pure Prolog","author":"Warren","year":"1984","journal-title":"Proc. Int. Conf. on Fifth Generation Computer Systems"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0743106694900019?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0743106694900019?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T23:58:13Z","timestamp":1555113493000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0743106694900019"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,10]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,10]]}},"alternative-id":["0743106694900019"],"URL":"https:\/\/doi.org\/10.1016\/0743-1066(94)90001-9","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[1994,10]]}}}