{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T12:12:47Z","timestamp":1752667967007},"reference-count":7,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":4334,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1995,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We prove a completeness theorem for K<jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/tex2gif-stack-1.gif\" xlink:title=\"urn:x-wiley:09425616:media:MALQ19950410410:tex2gif-stack-1\" \/>, the infinitary extension of the graded version K<jats:sup>0<\/jats:sup> of the minimal normal logic K, allowing conjunctions and disjunctions of countable sets of formulas. This goal is achieved using both the usual tools of the normal logics with graded modalities and the machinery of the predicate infinitary logics in a version adapted to modal logic.<\/jats:p>","DOI":"10.1002\/malq.19950410410","type":"journal-article","created":{"date-parts":[[2007,6,2]],"date-time":"2007-06-02T20:55:12Z","timestamp":1180817712000},"page":"547-563","source":"Crossref","is-referenced-by-count":5,"title":["An Infinitary Graded Modal Logic (Graded Modalities VI)"],"prefix":"10.1002","volume":"41","author":[{"given":"Maurizio","family":"Fattorosi\u2010Barnaba","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvano","family":"Grassotti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-11035-5"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00935601"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00374047"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00379767"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2794-5"},{"key":"e_1_2_1_8_2","volume-title":"Model Theory for Infinitary Logic","author":"Keisler H. J.","year":"1971"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19950410410","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19950410410","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T16:27:24Z","timestamp":1698251244000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19950410410"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":7,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1002\/malq.19950410410"],"URL":"https:\/\/doi.org\/10.1002\/malq.19950410410","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}